Anotações de variação em aliases de tipo

Recentemente, notei que as anotações de variação podem ser usadas em alias de tipo. Aqui está um exemplo dePredef:

type Function[-A, +B] = Function1[A, B]

E comecei a pensar onde poderia ser usado. Obviamente, você não pode alterar a variância para oposto, ou fazer um tipo invariante para se comportar como co-ou contravariante. O compilador lançará um erro, como este

scala> type BrokenFunc[+T, -R] = Function1[T, R]
<console>:7: error: covariant type T occurs in contravariant position in type 
  [+T, -R]T => R of type BrokenFunc

Mas, você pode fazer algum tipo de variante para se comportar como invariante (pelo menos, o compilador não argumentaria com isso). Então, eu tentei fazer uma versão invariante deList

scala> type InvList[T] = List[T]
defined type alias InvList

Mas esta nova invarianteList&nbsp;ainda se comporta como se fosse a versão covariante original:

scala> val l: InvList[String] = List("foo")
l: InvList[String] = List(foo)

scala> val anyList: InvList[Any] = l
anyList: InvList[Any] = List(foo)

Então, o que eu sinto falta? Qual é o objetivo das anotações de variação nos alias de tipo? Você pode dar um exemplo de alias de tipo com anotações de variação, que serão diferentes do tipo original.