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