Ещё надо добавить, что типы-параметры у методов не могут объявлять вариантность:

trait A {
  def Foo[+T] : T // Error
}

Однако, типы-параметров у типов-параметров высшего порядка у методов — могут:

trait A {
  def Foo[T[+X]] : T[String]
}