绑定嵌套类型的上下文

Question

是否有可能以某种方式创建嵌套类型的上下文绑定？像这样：

def f[T : U[List]](a: T)

Ofc，这不是Scala语法，而是说明了我想要实现的目标，即获得隐式U[List[T]]的绑定。这可能吗？

感谢。

Answer 1

您可以使用类型别名来执行此操作：

type UList[X] = U[List[X]]
def f[T : UList](a: T)

或

def f[T:({type UL[X] = U[List[X]]})#UL](a: T)