Covariant C[T'] is a subclass of C[T] Scala notation: [+T] Contravariant C[T] is a subclass of C[T'] Scala notation: [-T] Invariant C[T] and C[T'] are not related Scala notation: [T]