PROPOSAL: Make Applicative a superclass of Monad

[Ross Paterson]

On Tue, Jun 24, 2008 at 02:15:19AM -0700, Ashley Yakeley wrote:
> http://hackage.haskell.org/trac/ghc/ticket/2392
>
> 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.