Type Alias Path<O, P, Default>

Path: O extends unknown
    ? P extends [infer K, ...(infer R)]
        ? K extends keyof O ? Path<O[K], R> : Default
        : O
    : never