Нет способа сделать это легко, во-первых, вам нужна функция, которая поможет с выводом (переменные не могут объявлять переменные типа). Во-вторых, вам нужно столько перегрузок, сколько функций вы хотите поддерживать.
Решение может выглядеть примерно так:
function compose<A, R1, R2, R3, R4>(fn1: (a: A) => R1, fn2: (a: R1) => R2, fn3: (a: R2) => R3, fn4: (a: R3) => R4): [typeof fn1, typeof fn2, typeof fn3, typeof fn4]
function compose<A, R1, R2, R3>(fn1: (a: A) => R1, fn2: (a: R1) => R2, fn3: (a: R2) => R3): [typeof fn1, typeof fn2, typeof fn3]
function compose<A, R1, R2>(fn1: (a: A)=> R1, fn2: (a: R1) => R2) : [typeof fn1, typeof fn2]
function compose(...fns: Array<(a: any) => any>) {
return fns;
}
// fns is [(a: string) => string, (a: string) => number, (a: number) => string]
let fns = compose(
(s: string) => s.toUpperCase(),
s => +s,
n => n.toExponential()
)