Some languages features look superfluous but when you need them you're happy to have them.
We're not talking about 'some superfluous language features' but about a specific (albeit theoritical and contrived and therefore rather superfluous) question from TS.
Getmem already answered more comprehensively the direction TS needs to lean towards.