typescript 中可以通过 infer 解构出 union 对象中指定的某个值的部分类型吗？

type Data =
  | {
      key: 'a'
      value: string
    }
  | {
      key: 'b'
      value: number
    }

type NewData<T extends Data["key"]> = {
    newKey: T,
    value: Extract<Data, { key: T }>['value']
}

type ExpectValueNumber = NewData<"b">["value"] // number