Control.Monad.Free.TH
Free monadic actions
makeFree
makeFree_
makeFreeCon
makeFreeCon_
Documentation
Examples