99b4d95fe6 ^
0d68a874e2 ^
1 2
3 4 5 6 7
8
import scala.language.higherKinds trait Foo[C[_]] object Test extends App { import scala.reflect.runtime.universe._ println(typeOf[Foo[({type l[X] = (Int, X)})#l]]) }