Control.Monad.Trans.Free
data FreeF f a b
data FreeT f m a
class MonadFree f m
liftF
iterT
hoistFreeT
transFreeT