Type alias DeepScope<T, K>

DeepScope<T, K>: NonNullable<T> extends object
    ? Tail<K> extends ""
        ? T[Head<K> & keyof T]
        : DeepScope<T[Head<K> & keyof T], Tail<K>>
    : never