Covariance

Scala 类型系统实战：泛型、ADT、协变逆变与类型类

深入 Scala 类型系统：泛型类与方法、代数数据类型（ADT）、Option/Either 的类型结构、协变逆变与不变、类型边界（上下界）、隐式与类型类、路径依赖类型，并通过实战代码展示类型系统如何提升正确性。