PROPOSAL: Make Applicative a superclass of Monad

[Ian Lynagh]

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


Thanks
Ian