Type Alias TRet<T>

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