The notion of variance comes into play when we consider classes with type parameters, i.e. generics.

For classes T and T’ where T’ is a subclass of T what’s the relationship between A[T] and A[T’]?