O funcție dată și două obiecte pentru verificarea tipurilor. Într-un caz, TypeScript nu se plânge, în celălalt da. Este necesar să tipați funcția astfel încât comportamentul TypeScript să corespundă așteptărilor (folosind generics și keyof).