PROPOSAL: Make Applicative a superclass of Monad

[Brandon S. Allbery KF8NH]

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 kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH