Re: PROPOSAL: Make Applicative a superclass of Monad

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.