Control.Monad.Free

class MonadFree f m

data Free f a

retract

liftF

iter

iterM

hoistFree

foldFree

toFreeT

cutoff

unfold

unfoldM

_Pure

_Free