PROPOSAL: Make Applicative a superclass of Monad

Ian Lynagh igloo at
Tue Jun 24 07:55:15 EDT 2008

On Tue, Jun 24, 2008 at 02:15:19AM -0700, Ashley Yakeley wrote:
> Make Applicative (in Control.Applicative) a superclass of Monad (in 
> Control.Monad).

I agree with what other people have said about H98 compatibility. I
think you would be better off proposing this for Haskell'.


More information about the Libraries mailing list