绑定类型的上下文

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)