Control.Monad.Eff.State
data
State
s a
get
put
runState
transactionState