Control.Monad.Free
class MonadFree f m
data Free f a
retract
liftF
iter
iterM
hoistFree
foldFree
toFreeT
cutoff
unfold
unfoldM
_Pure
_Free