не даёт
ReturnType<typeof X><number> например не выйдет
Да, никак. typeof fn вернёт тип функции, и для него указывать типы-параметры можно только при вызове (fn<number>()). Но тип F1 отсюда позволяет обойтись без typeof fn.
Обсуждают сегодня