Свершилось!

[deni_ok]

GHC 7.10.1 :

class Applicative m => Monad m where
...
return :: a -> m a
return = pure
...
-- оставили как было (по социальным причинам :)
-- (>>) :: forall a b. m a -> m b -> m b
-- (>>) = (*>)
...
https://hackage.haskell.org/package/base-4.8.0.0/candidate/docs/src/GHC-Base.html#Monad