Type Alias IncludeTree<T>

IncludeTree: T extends Primitive
    ? never
    : {
        [K in keyof T]?: T[K] extends (infer U)[]
            ? IncludeTree<NonNullable<U>>
            : IncludeTree<NonNullable<T[K]>>
    }