Control.Monad.Trans.RevState
data StateT s m a
evalStateT
execStateT
mapStateT
withStateT
type State s
runState
evalState
execState
mapState
withState
get
put
state
gets
modify