Precursor.Control.State
class MonadState s m
modify
modify'
gets
type State s
runState
evalState
execState
data StateT s m a
runStateT
evalStateT
execStateT