Data.Machine.Lift

execStateM

catchExcept

runReaderM