型变

Scala 中的上下界（Context Bounds）是一种特性，它为表达依赖于类型参数的上下文参数的常见模式提供了简写语法。上下界用于简化泛型类型的代码，在类型类的上下文中特别有用。