The TS-native way to do this is probably const T. That way you also get the members inferred as their literals, too:

Source: x.com/mattpocockuk/status/1834627343299625360