Proposal: Applicative => Monad: Call for consensus

John Smith voldermort at
Sun Jan 2 18:50:53 CET 2011

On 02/01/2011 19:14, David Menendez wrote:
> On Sun, Jan 2, 2011 at 7:04 AM, John Smith<voldermort at>  wrote:
>> The patches attached to make
>> Applicative a superclass of Monad. Default definitions are provided for
>> backwards compatibility.
> Monad is defined in the Haskell 98 and Haskell 2010 reports. How are
> you planning to maintain compatibility with them?

The Haskell' process expects proposals to have already been implemented, so I'll propose it there after acceptance by 
GHC. If the patches are accepted for HEAD, this may be adequate for proposing towards the next Haskell report, so GHC 
and the report will only be out of sync for a minimal time.

More information about the Libraries mailing list