Control.Monad.Trans.Free
data FreeF f a b
data FreeT f m a
type Free f
free
runFree
liftF
iterT
iterTM
hoistFreeT
transFreeT
cutoff
partialIterT
intersperseT
intercalateT
retractT
retract
iter
iterM
class MonadFree f m