Работал ли ты с типом infer в TypeScript? Что ты о нём знаешь?

Infer — не отдельный тип данных, а средство извлечения типа внутри условия extends в conditional type.

Например: type Result<T> = T extends (...args: any[]) => infer R ? R : never. Оно выделяет возвращаемый тип функции; для обобщённых функций и перегрузок есть особенности вывода. Если практики не было, объясните механизм на маленьком примере, не выдумывая рабочий кейс.