9ef5f6817 ^
6a5a6cca8 ^
1
2
3 4 5 6 7 8 9
trait Functor[a] { type MyType[a] } object Test { def listFunctor[a]: Functor[a]{type MyType[x]=List[x]} = new Functor[a] { type MyType[t]=List[t] } }