Type alias Concrete<T, N, A>

Concrete<T, N, A>: A["length"] extends N
    ? Required<T>
    : {
        [K in keyof T]-?: Concrete<T[K], N, [...A, 1]>
    }

A helper type to remove optionality from types and properties.