Что такое условные типы (conditional types)?

Conditional types -- это типы, которые выбирают один из двух вариантов по условию: T extends U ? X : Y. Если T совместим с U, результат -- X, иначе -- Y. Это "if/else на уровне типов". Conditional types -- основа продвинутой типизации в TypeScript и используются во встроенных utility types вроде Extract, Exclude, ReturnType.