All Monads are Functors

[Ashley Yakeley]

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