Control.Effects.State

data State s

data Get

data Set

data StateMessage s a

data StateResult s a

type MonadEffectState s m

stateEffect

getState

setState

modifyState

handleState

handleStateIO

handleStateT