Typescript: оценка типа универсальной функции

Что касается вашего первого вопроса, то они называются типами более высокого порядка и не поддерживаются в Typescript на момент этого ответа.

Высший тип — это просто тип, который абстрагируется от некоторого типа, который, в свою очередь, абстрагируется от другого типа. Итак, если вам нужен тип, который вы передаете в тип, чтобы абстрактно создать новый тип, это пример более высокого типа. А в ТС нельзя.

Вы не можете передать второй тип в общий тип и получить производный тип.

Ваш последний пример (упрощенный) буквально ReturnType, поэтому не уверен, что вы имеете в виду. Вполне можно придумать. Но вы не можете сделать тип, который приходит с этим.

type EvNum<T> = () => T;
type Arr<T> = T[];

function func<T>(param: EvNum<T>): T {
    return param();
}

let x1 = func(()=> 4); //number
let x2 = func(()=> [4]); //number[]
let x3 = func(()=> [4, "hi"] as const); //[4, "hi"]
let x4 = func(()=> "constant" as const); //"constant"
let cool: Arr<number> = [4, 5, 6];
let x5 = func(() => cool); //Arr<number>

Это передает ваши запрошенные типы

Если я вас правильно понял, то должно быть:

type EV<T> = () => T;

В противном случае вопрос не имеет смысла или должен быть объяснен более подробно.