Type Alias TArg<T>

TArg:
    | T
    | (
        [TypedArg<T>] extends [never]
            ? T extends (...args: infer A) => infer R
                ? (...args: { [K in keyof A]: TRet<A[K]> }) => TArg<R> & {
                    [K in keyof T]: T[K] extends (...args: any) => any
                        ? T[K]
                        : TArg<T[K]>
                }
                : T extends [infer A, ...(infer R)]
                    ? [TArg<A>, ...{ [K in keyof R]: TArg<R[K]> }]
                    : T extends readonly [infer A, ...(infer R)]
                        ? readonly [TArg<A>, ...{ [K in keyof (...)]: TArg<(...)> }]
                        : T extends (infer A)[]
                            ? TArg<A>[]
                            : T extends readonly (...)[]
                                ? readonly TArg<(...)>[]
                                : T extends Promise<infer A>
                                    ? Promise<TArg<(...)>>
                                    : T extends object ? { [K in (...)]: (...) } : T
            : TypedArg<T>
    )