PROPOSAL: Make Applicative a superclass of Monad

Ian Lynagh igloo at
Tue Jun 24 07:54:08 EDT 2008

On Tue, Jun 24, 2008 at 01:43:08PM +0200, Christian Maeder wrote:
> Could someone explain why it breaks H98 compatibility? 
> Control.Applicative alone is at least marked "portable".

This Haskell98 module no longer works:

    module Foo where

    data Foo a = Foo

    instance Monad Foo where
        return _ = Foo


More information about the Libraries mailing list