Control.Monad.Run
data MaybeAlg a b
data ErrorAlg e a b
data ListAlg a b
data StateAlg s a b
class MonadRun s m
mrun
class MonadUnTrans s t
mplus'
mswitch
mayswitch
mchoice'
mchoices
mswitch0
mswitch1
mswitch'