Что такое template literal types?

Template literal types — это типы, построенные из строковых литералов с интерполяцией: type EventName = on${Capitalize}. Позволяют создавать типы вроде "onClick" | "onFocus" | ... из базовых строк. В сочетании с mapped types можно генерировать типизированные API: из { click: MouseEvent, focus: FocusEvent } получить { onClick: (e: MouseEvent) => void, onFocus: (e: FocusEvent) => void }. Это то, что делает типы для CSS-in-JS и ORM точными.