An implementation of dyno-abstract for a memory store.