MAAM.MonadStep

class MonadStep ς m

mstepγP

data IsoMonadStep ς1 ς2 m a