Работали ли вы с оператором infer? Для чего он нужен и где применяли?

infer извлекает часть типа внутри условного типа, например тип элемента массива или возвращаемое значение функции.

Пример: type Item<T> = T extends readonly (infer U)[] ? U : never;. Здесь U выводится из сопоставления, а не передаётся вручную. Расскажите о реальном применении и учитывайте поведение условных типов на union.