Control.Monad.Trans.Free

data FreeF f a b

data FreeT f m a

class MonadFree f m

liftF

iterT

hoistFreeT

transFreeT