Control.Monad.Free.Church

data F f a

improve

fromF

iterM

toF

retract

hoistF

foldF

class MonadFree f m

liftF

cutoff