Een gegeven functie en twee objecten om types te controleren. In één geval klaagt TypeScript niet, in het andere wel. De functie moet getypeerd worden zodat het gedrag van TypeScript overeenkomt met wat verwacht wordt (gebruikmakend van generics en keyof).