Type Alias ExtractValue<Key, Parent>

ExtractValue: Key extends keyof Parent
    ? Key extends keyof SetRequired<Parent, Key>
        ? SetRequired<Parent, Key>[Key]
        : never
    : Key extends keyof Extract<Parent, Record<Key, any>>
        ? Key extends keyof SetRequired<Extract<Parent, Record<Key, any>>, Key>
            ? SetRequired<Extract<Parent, Record<Key, any>>, Key>[Key]
            : never
        : never