Type alias DeepValue<T, P>

DeepValue<T, P>: P extends `${infer K}.${infer Rest}`
    ? T[K & keyof T] extends infer S
        ? DeepValue<S, Rest>
        : never
    : T[P & keyof T] extends infer K
        ? K extends undefined
            ? K | null
            : K
        : never