在typescript中，如何从curried函数中第二个函数调用的参数类型推断参数类型

type Curry<T extends any[], R> = 
    (args: T[0]) => T extends [any, ...infer Rest] ? Curry<Rest, R> : R;

function curry<T extends any[], R>(fn: (...args: T) => R): Curry<T, R> {
    return (arg: T[0]) => {
        if (fn.length === 1) {
            return fn(arg);
        } else {
            return curry((fn as any)(arg)) as any;
        }
    };
}

// 示例函数
function add(a: number, b: number): number {
    return a + b;
}

// 使用curry函数将add函数转换为curried函数
const curriedAdd = curry(add);

// 推断curriedAdd函数的参数类型
type AddArgs = Parameters<typeof curriedAdd>;

// 第一个参数类型为number
type Arg1 = AddArgs[0];

// 第二个参数类型为number
type Arg2 = Parameters<ReturnType<typeof curriedAdd>>[0];

// 第二个函数调用的参数类型为Arg2
type Result = ReturnType<ReturnType<typeof curriedAdd>>;

// 打印结果
console.log("Arg1:", Arg1); // number
console.log("Arg2:", Arg2); // number
console.log("Result:", Result); // number