Control.Monad.Free.Class

class MonadFree f m

liftF

wrapT