Что такое typeof в контексте типов (не runtime)?

typeof в позиции типа (type context) извлекает TypeScript-тип из JavaScript-значения. В отличие от runtime typeof, который возвращает строку "string", "number" и т.д., type-level typeof возвращает полный тип переменной, включая литеральные типы, сигнатуры функций и структуру объектов. Без него невозможно получить тип константы, функции или модуля для использования в аннотациях.