Что такое mapped types (маппированные типы)?

Mapped types позволяют создать новый тип, пройдясь по каждому ключу существующего типа и трансформировав его. Синтаксис { [K in keyof T]: ... } перебирает все свойства T и для каждого создаёт новое свойство с изменённым типом или модификаторами. Именно так реализованы встроенные утилиты Partial, Required, Readonly, Record.