Subtyping and generics raise the question of whether containers are covariant or contravariant.