Type Alias Curried<F>

Curried: F extends (...args: infer A) => infer R
    ? Equal<F, () => R> extends true
        ? () => R
        : A extends [infer A1, ...(infer S)]
            ? (arg: A1) => Curried<(...rest: S) => R>
            : R
    : never