http://docs.scala-lang.org/tutorials/tour/variances.html
class Foo[+A] // A covariant class class Bar[-A] // A contravariant class class Baz[A] // An invariant class