Control.Eff.State.Strict

data State s v

get

put

runState'

runState

modify

evalState

execState

data ProxyState s

transactionState

runStateR