насчёт того что где-то(а может и везде) оптимизируется, и собирарается сразу если тип известен спорить не буду. Я об этом понятия не имею, а то что в дженерик можно передать тип в рантайме, сразу говорит о том что значит и в typeof его можно засунуть.