import qualified MegaModule as M ((>>>), Either, (<<<), Monad(
  return, (>>=), (>>)))