Functor => Applicative => Monad

Isaac Dupree ml at
Tue Dec 14 09:35:58 CET 2010

On 12/14/10 03:13, John Smith wrote:
> I would like to formally propose that Monad become a subclass of
> Applicative, with a call for consensus by 1 February. The change is
> described on the wiki at

That page isn't written as a proposal yet, it's written as a bunch of 
ideas.  I would be happy to see something along the lines of Bas van 
Dijk's work .


More information about the Libraries mailing list