Control.Monad.State.Persistent
data PersistentStateT s m a
type PersistentState s
store
runPersistentStateT
runPersistentState