PROPOSAL: Make Applicative a superclass of Monad

Niklas Broberg niklas.broberg at
Fri Jun 27 08:57:38 EDT 2008

>  > I want to see this change, *and* I want to see class aliases. :-)
> I want class aliases, and I want to see this change but *only if* we get
>  class aliases. Functor =/=> Monad is annoying enough, we shouldn't make
>  it worse without fixing the underlying limitation first.

Yes, agreed, I should have made my point more clear. That's how I feel too.


More information about the Haskell-prime mailing list