PROPOSAL: Make Applicative a superclass of Monad

John Meacham john at repetae.net
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

-- 
John Meacham - ⑆repetae.net⑆john⑈


More information about the Libraries mailing list