d8127d2f0 ^
1 2 3 4 5 6 7 8 9
object Test { type T = [+X] => (List[X] => List[X]) def reverse[X](xs: List[X]): List[X] = ??? // val x: T = reverse }