PROPOSAL: Make Applicative a superclass of Monad

Henning Thielemann lemming at
Tue Jun 24 07:50:28 EDT 2008

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.

More information about the Libraries mailing list