[Haskell] Functor => Applicative => Monad

John Smith voldermort at hotmail.com
Tue Dec 14 09:23:15 CET 2010

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 http://haskell.org/haskellwiki/Functor-Applicative-Monad_Proposal, and ticketed 
at http://hackage.haskell.org/trac/ghc/ticket/4834.

As this would require a change to the prelude, it will presumably be necessary for GHC and the Haskell report to change 
in tandem. The Haskell' committee expects proposals to have been implemented before changing the standard, so I will 
propose this to Haskell' after it is accepted for GHC. Hopefully this will be sufficient to avoid a race condition.

More information about the Haskell mailing list