PROPOSAL: Make Applicative a superclass of Monad

Brandon S. Allbery KF8NH allbery at
Tue Jun 24 10:28:21 EDT 2008

On Jun 24, 2008, at 09:57 , Isaac Dupree wrote:

> Bulat Ziganshin wrote:
>> Hello Ashley,
>> Tuesday, June 24, 2008, 1:15:19 PM, you wrote:
>>> Make Applicative (in Control.Applicative) a superclass of Monad (in
>> it will break H98 compatibility - some code written in H98 will be
>> impossible to compile with such library. since GHC is (among other
>> features) provides full H98 compatibility, we can't make such change
> Is there any practical way we can make this change while still  
> making it possible to compile Haskell98 programs at all?  It seems  
> that even with a compiler flag, it will be difficult to do with

Problem there is that Monad is exported by Prelude.

brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at
system administrator [openafs,heimdal,too many hats] allbery at
electrical and computer engineering, carnegie mellon university    KF8NH

More information about the Libraries mailing list