Covariant

Scala - Variance (Covariant, Contravariant, Invariant)

Variance controls how generic type parameters behave in inheritance hierarchies. Consider a simple class hierarchy: