Mapped и conditional types

Часть курса TypeScript

Вспомогательные типы, которыми вы только что пользовались (Partial, Pick, Record, ReturnType), собраны из двух возможностей языка: сопоставленных типов (mapped types), которые преобразуют ключи и значения объекта, и условных типов, которые выбирают между вариантами, глядя на тип. Как только научитесь читать и то, и другое, стандартная библиотека перестанет казаться магией.

keyof T - это объединение имён свойств T в виде строковых литералов ...