data FreeF f a b

data FreeT f m a

class MonadFree f m

liftF

hoistFreeT

transFreeT