Никогда не сталкивался по серьезному с дженериками.
Поэтому вот этот пример вызывает некоторые затруднения — http://www.scala-lang.org/node/129
Сам пример понятно как работает.
Но что значит вот этот текст?

The annotation +T declares type T to be used only in covariant positions. Similarly, -T would declare T to be used only in contravariant positions. For covariant type parameters we get a covariant subtype relationship regarding this type parameter. For our example this means Stack[T] is a subtype of Stack[S] if T is a subtype of S. The opposite holds for type parameters that are tagged with a -.

Может кто-то объяснить по-русски и с примерами?