1 2 3 4 5 6 7 8
abstract class P[+a, +b] { // SLS, Example 4.4.2 def fst: a; def snd: b } trait Vector[+a] { // SLS, Example 4.4.3 b) def append[b >: a](x: Vector[b]): Vector[b] }