Type Alias DeepKey<T, K>

DeepKey: K extends keyof T
    ? T[K]
    : K extends `${infer First}.${infer Rest}`
        ? First extends keyof T ? DeepKey<T[First], Rest> : never
        : never