PROPOSAL: Make Applicative a superclass of Monad

Christian Maeder Christian.Maeder at
Tue Jun 24 08:27:21 EDT 2008

Henning Thielemann wrote:
> On Tue, 24 Jun 2008, Christian Maeder wrote:
>> Could someone explain why it breaks H98 compatibility? 
>> Control.Applicative alone is at least marked "portable".
> Because existing Monad instances in user code would become invalid.

Ok, I was thinking in terms of language features (not in terms of 
backward compatibility of the Standard Library).


More information about the Libraries mailing list