Pitch: Static and class subscripts

What do you have in mind here? Are you thinking of something along the lines of the key paths that would be possible if we had properties synthesized for the cases as in this pitch: Automatically derive properties for enum cases?