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

[Hans Aberg]

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?

   Hans Aberg