Control.Monad.Free
type
PFree
type
Free
f
runFree
free
class
MonadFree
f m
class
RunMonadFree
f m