Type alias RecursiveRequired<T>

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