can this not be Codec[K]? Are there cases where you don't want reversibility (hashing the key, I guess, but has that come up)?