Control.Monad.Free.Church
data F f a
improve
fromF
iterM
toF
retract
hoistF
foldF
class MonadFree f m
liftF
cutoff