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