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