类型别名 DeepRequired<T>

DeepRequired: T extends (infer U)[]
    ? DeepRequired<U>[]
    : T extends (...args: any[]) => any
        ? T
        : T extends object ? { [K in keyof T]-?: DeepRequired<T[K]> } : T