Tony Morris

@SethTisue @odersky How would one write def fmap[A, B, M[_]](m: M[A], f: A => B): M[B] in that?

@dcsobral @SethTisue Probably the same as now. Expansion is: def fmap[A, B, M](m: M { type T = A }, f: A => B): M { type T = B }

@nuttycom Irrelevant. This is not code I am particularly interested in making simple to write.

@odersky @nuttycom Being able to abstract over something as simple as a Functor is vitally important to me.

@djspiewak could there be more ergonomic, first-class solutions to the problems you're solving with that sort of abstraction? /cc @odersky

@djspiewak e.g. abstracting over monads loses some of its appeal when you have composable effects in your language. /cc @odersky