Control.Monad.Freer.State

data State s v

get

put

modify

runState

transactionState