PROPOSAL: Make Applicative a superclass of Monad
Christian.Maeder at dfki.de
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