Functor => Applicative => Monad

[John Smith]

On 14/12/2010 10:24, Krasimir Angelov wrote:
> This proposal will break every module which declares a monad instance
> for some type. I expect that there will be many many broken
> applications. Furthermore, if the only thing that I need is a monad
> instance for some type, it is tedious do define Functor and
> Applicative as well.

This would break a lot of code, but this seems to happen anyway; most of hackage is broken on recent GHC.

How many Monads are not instances of Applicative? These are the Monads which would require extra work, whereas the 
Applicative Monads would require less. (Most Monads are currently defined twice; once as Monads, then boilerplate 
instances for Applicative Functors.)