9ef5f6817 ^
1 2 3 4 5 6
trait Iterable[m[+x], +t] { def flatMap[resColl[+x] <: Iterable[resColl, x], s](f: t => resColl[s]): resColl[s] def foo[a[x]] = "a" val x = foo[List] }