All Monads are Functors

Ashley Yakeley ashley at
Mon Oct 2 21:16:03 EDT 2006

Ross Paterson wrote:

> Ashley's quite ambitious to push this refactoring of Monad for Haskell',
> since there is limited experience with Applicative, and class system
> changes that might help with fine-grained hierarchies are unlikely to
> be available, but I wish him luck.

I agree that a language extension for superclass defaults is not on the 
cards for Haskell Prime, but really, just how hard is it to write the 
necessary instances? Especially as we can provide helper functions.

Ashley Yakeley
Seattle WA

More information about the Haskell-prime mailing list