Type Alias TraceableFunction<Func>

TraceableFunction: (
    Func extends {
        (...args: A1): R1;
        (...args: A2): R2;
        (...args: A3): R3;
        (...args: A4): R4;
        (...args: A5): R5;
    }
        ? UnionToIntersection<
            WrapArgReturnPair<
                [A1, R1]
                | [A2, R2]
                | [A3, R3]
                | [A4, R4]
                | [A5, R5],
            >,
        >
        : Func extends {
            (...args: A1): R1;
            (...args: A2): R2;
            (...args: A3): R3;
            (...args: A4): R4;
        }
            ? UnionToIntersection<
                WrapArgReturnPair<[A1, R1] | [A2, R2] | [A3, R3] | [A4, R4]>,
            >
            : Func extends {
                (...args: A1): R1;
                (...args: A2): R2;
                (...args: A3): R3;
            }
                ? UnionToIntersection<
                    WrapArgReturnPair<[A1, R1] | [A2, R2] | [A3, R3]>,
                >
                : Func extends { (...args: A1): R1; (...args: A2): R2 }
                    ? UnionToIntersection<WrapArgReturnPair<[A1, R1] | [A2, R2]>>
                    : Func extends (...args: A1) => R1
                        ? UnionToIntersection<WrapArgReturnPair<[A1, R1]>>
                        : never
) & { [K in keyof Func]: Func[K] }