Subtyping and generics raise the question of whether containers are covariant or contravariant.
Why would that be true?