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

Hans Aberg wrote:

Using 'hugs -98', I noticed it accepts: instance Monad m => Functor m where fmap f x = x >>= return.f

Has this been considered (say) as a part of the upcoming Haskell Prime?

This forbids any Functors which are not monads. Unless you allow overlapping instances (which of course would not be h98 any more!). Other solutions, such as class Functor m => Monad m are frequently discussed. I see no H' ticket for it, though. Jules