Control.Monad.Trans.Free

Free monad transformer

data FreeF f r x

data FreeT f m r

wrap

liftF

Free monad

type Free f

runFree