Control.Eff.State.Strict
data
State
s w
get
put
modify
runState
evalState
execState