这里的关键是如何将类型Map到另一个类型.
最简单的方法是使用这样的函数类型：

type TestMapper = 
        ((p: boolean) => string) |
        ((p: string) => number);

以下是"应用"函数类型并获得Map类型的方法：

type $Apply<F extends (p: any) => any, P extends Parameters<F>[0]>=
        F extends ((p: P) => infer R) ? R : never;

如何使用这个：

type TFApplyedToString = $Apply<TestMapper, string>; // number
    type TFApplyedToBoolean = $Apply<TestMapper, boolean>; // string

现在我们需要Map元组：

type $Map<T, F extends (p: any) => any> = {
        [P in keyof T]: $Apply<F, T[P]>;
    }

最后：

type TFApplyedToTuple = $TupleMap<[string, boolean, string], TestMapper>;
    // [number, string, number]

作为奖励，你也可以Map对象：

type TFApplyedToObject = $Map<{
        a: string,
        b: boolean,
        c: string
    }, TestMapper>;
    /*
    {
        a: number,
        b: string,
        c: number
    }
    */