Dána funkcia a dva objekty na kontrolu typov. V jednom prípade sa TypeScript ne sťažuje, v druhom áno. Funkciu je potrebné typovať tak, aby správanie TypeScript zodpovedalo očakávanému (použitím generics a keyof).