f96b6beefc ^
1 2 3 4
object test { def make[m[x], b]: m[b] = error("foo") val lst: List[Int] = make[List, Int] }