MAAM.MonadStep

class MonadStep ς m

data IsoMonadStep ς1 ς2 m a