Type alias Curried<F>

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

Curried form of the function type F.