Control.Monad.Free.Class
class
MonadFree
f m
liftF
wrapT