Narrow indexed type by passing keys and associated values types to generic

Question

Differences from similar question

Unfortunately, the great answers to question Pass implicit keys and values type relationship to TypeScript generic does not cover