Type Alias CurriedFunc<TFunction, partialApply>

CurriedFunc: TFunction extends Func<infer TParams, infer TReturn>
    ? TParams extends [infer TParam0, ...(infer TRestParams)]
        ? TRestParams extends []
            ? TParam0 extends never
                ? CurryStepFunc<[], TReturn, false>
                : CurryStepFunc<[TParam0], TReturn, false>
            : partialApply extends true
                ? _SpreadTParams<TParams, TReturn, [], false>
                : CurryStepFunc<
                    [TParam0],
                    CurriedFuncLoop<TRestParams, TReturn, partialApply>,
                    false,
                >
        : TParams extends [] ? CurryStepFunc<[], TReturn, false> : never
    : never