Typesafe const assertion map from a subset of keys

Question

I\'m trying to create a const asserted map based on a subset of keys, and when referencing values by index it should be typesafe:

ty