Control.Effect.State
class EffectState s l
data State s a
runState
evalState
execState
get
gets
put
modify
modify'
state
withState