contravariant value types for WriteableStores, don't force the Option type for values