Control.IMonad.Trans.Free
Free monad transformers
data
IFreeF
f r x i
data
IFreeT
f m r i
wrap
liftF