f96b6beefc ^
f4267ccd96 ^
c1f5cbd4a0 ^
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] }