如何在打字稿中显式定义具有不同元组类型的元组数组？

我正在编写一个转换器，该转换器使用查找对象将元组数组转换为对象，该对象告诉函数哪个字符串映射到哪些属性。但是，我找不到一种方法告诉打字稿它是具有特定类型的元组的数组，生成的元组始终是联合。看起来是这样的：

interface EndObj {
    a: number; 
    b: string;
    c?: number;
}
interface InitObj {
    d: string;
    e: string;
    f: string;
}

const map = {
    d: 'a',
    e: 'b',
    f: 'c'
} as const;

type MapType = typeof map;
type ResultTuple<T extends keyof InitObj> = [T, EndObj[MapType[T]]];
type ResultTupleArray = ResultTuple<keyof InitObj>[];

const resultObj: ResultTupleArray = [['d', 1], ['e', 3], ['f', 3]]; // invalid! the value of 'e' should only allow strings

我认为类型脚本允许这样做的原因是，因为ResultTupleArray是用定义的keyof InitObj，因此生成的元组数组泛型始终是相同的，因此T将始终是相同的，而不是每个数组条目都特定，因此只能用并集来描述。

这是我发现的方式：

const undetected: ResultTuple<keyof InitObj> = ['e', 4]; // should be invalid
const detected: ResultTuple<'e'> = ['e', 4]; // actually shows an error for 4 (Type 'number' is not assignable to type 'string'.)

对于上下文，这里是转换器的外观：

function mapInitToEnd(resultO: ResultTupleArray) {
    const endObj: EndObj = {
        a: -1,
        b: ''
    };

    for (const tuple of resultO) {
        const [key, val] = tuple;
        const mappedKey = map[key];
        endObj[mappedKey] = val;
    }
    return endObj;
}

有没有办法告诉打字稿，泛型仅对元组数组中的每个条目有效，而对整个数组无效？