Antud funktsioon ja kaks objekti tüüpide kontrollimiseks. Ühes olukorras ei nurise TypeScript, teises — nuriseb. Funktsioon peab olema tüübitud nii, et TypeScripti käitumine vastaks ootustele (kasutades generics ja keyof).