Type Alias DeepValue<Parent, Keys>

DeepValue: Keys extends Readonly<[infer First, ...(infer Rest)]>
    ? First extends keyof Parent
        ? Rest extends ReadonlyArray<PropertyKey>
            ? DeepValue<Parent[First], Rest>
            : undefined
        : undefined
    : Parent

Gets the type of a nested property within Parent by recursively accessing each key in Keys.