introduction

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]