Type Alias DeepRequired<T>

DeepRequired: {
    [P in keyof T]-?: T[P] extends (infer U)[]
        ? DeepRequired<U>[]
        : T[P] extends object ? DeepRequired<T[P]> : T[P]
}