Control.Monad.Freer.State
data
State
s v
get
put
runState
data
ProxyState
s
transactionState