Daná funkce a dva objekty pro kontrolu typů. V jednom případě se TypeScript nezlobí, v druhém ano. Funkci je třeba typovat tak, aby chování TypeScript odpovídalo očekávanému (pomocí generik a keyof).