PROPOSAL: Make Applicative a superclass of Monad

Ross Paterson ross at
Tue Jun 24 05:26:44 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). Rename members of Applicative and other functions, to  
> avoid unnecessary duplication.

The big problem with this is that it would break compatibility with
Haskell 98, and any existing program that defines a Monad instance.

More information about the Libraries mailing list