import qualified MegaModule as M
  ( (>>>) -- (1)
  , (<<<) -- (2)
  , Either -- (3)
  )