Следният клас на Scala: class Foo[+T <: Bar] extends FooBase ... ефективно дефинира йерархия на типове, която има Foo[Bar] като корен - т.е. всеки валиден Foo[X] ще може да бъде присвоен на Foo[Bar] стойност или променлива: val v1:...