Language.Syntactic.Frontend.Monad
data
Mon
dom m a
desugarMonad
sugarMonad