Control.THEff.State
data State' v e
data State m e o v a
type StateArgT v
type StateResT r v
effState
runEffState
get
put
modify
stateOnly
withoutState