[Haskell-cafe] instance Monad m => Functor m

[ajb at spamcop.net]

G'day all.

Quoting Jules Bean <jules at jellybean.co.uk>:

> Other solutions, such as class Functor m => Monad m are frequently discussed.
>
> I see no H' ticket for it, though.

Then add it. :-)

You'll probably want to make it depend on Ticket #101, because making
class hierarchies more granular generally depends on flexible instances.

Cheers,
Andrew Bromage