Control.Effects.State
data GetState s
data SetState s
type MonadEffectState s m
type EffectHandlerState s m
getState
setState
modifyState
handleGetState
handleSetState
handleState
handleStateIO
handleStateT