Type Alias PathValue<T, P>

PathValue: P extends `${infer K}.${infer Rest}`
    ? K extends keyof T
        ? Rest extends Paths<T[K]> ? PathValue<T[K], Rest> : never
        : never
    : P extends keyof T ? T[P] : never