Пользовался ли ты ключевым словом infer на практике? Для чего оно нужно и как работает?

Infer объявляет выводимую переменную типа в условном типе TypeScript, позволяя извлечь часть структуры другого типа.

Например: type ElementOf<T> = T extends readonly (infer U)[] ? U : never. Для массива строк результатом будет string. На практике так извлекают элементы, возвращаемые значения и параметры; это работа системы типов, не анализ runtime-значений. Личный опыт поясните своим реальным примером.