One thing I was thinking of earlier too is that it's possible that StorageKey should hold the type of its value, so that you can do type checks without desearializing