PROPOSAL: Make Applicative a superclass of Monad

[Henning Thielemann]

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.