Control.Monad.State.Lazy
data State s a
evalState
execState
mapState
withState
data StateT s m a
evalStateT
execStateT
mapStateT
withStateT