PROPOSAL: Make Applicative a superclass of Monad

John Meacham john at
Tue Jun 24 20:39:47 EDT 2008

On Tue, Jun 24, 2008 at 09:57:39AM -0400, Isaac Dupree wrote:
> 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 current haskell 
> implementations (at the very least, a different Monad class would have to 
> be exported from haskell98 modules than from... modern modules.)

This is one of the issue 'class aliases' were created to address.


John Meacham - ⑆⑆john⑈

More information about the Libraries mailing list