All Monads are Functors
ashley at semantic.org
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.
More information about the Haskell-prime