Control.Effects.State
data State s
getState
setState
modifyState
handleState
handleStateIO
handleStateT