PROPOSAL: Make Applicative a superclass of Monad

[Christian Maeder]

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).

Christian