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

G'day all. Quoting Jules Bean :

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