Control.Monad.Free
class MonadFree f m
data Free f a
isPure
isImpure
foldFree
evalFree
mapFree
mapFreeM
mapFreeM'
foldFreeM
induce
data FreeT f m a
foldFreeT
foldFreeT'
mapFreeT
foldFreeA
mapFreeA
trans
trans'
untrans
liftFree