Как работают mapped types?

Mapped types создают новый тип, итерируя по ключам существующего: type Readonly = { readonly [K in keyof T]: T[K] }. Можно добавлять/убирать модификаторы (readonly, ?) через + и -. Ключи можно ремаппить через as: { [K in keyof T as get${Capitalize}]: () => T[K] }. На mapped types построены утилиты Partial, Required, Readonly, Record. Это один из самых мощных инструментов для трансформации типов — создаёшь новые типы на основе существующих.