higher-kinded-types - 双变量的实际例子？

Question

更高种类的类型的类型参数可能是不变的、协变的、逆变的或双变的。我知道前三个的例子，但好奇是否有第四个的实际例子。

T < U => A[T] < A[U]

T < U => A[U] < A[T]

据我了解，只要类型参数相关，它基本上要求 A[_] 类型可互换。

当然，玩具示例可能是不引用其类型参数的类型，但我想不出一个“有用”的版本。

标签： higher-kinded-typestype-theory