a persistent store for values of arbitrary types
