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

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