Data.Machine.Lift
execStateM
catchExcept
runReaderM