如果我有一个像下面这样的对象类型

type Foo = {
  a: ValueA
  b: ValueB
}

有没有可能创建一个泛型Map类型，它是它的键/值对的联合，像这样？

type EntriesOf<Foo> = { key: 'a'; value: ValueA } | { key: 'b'; value: ValueB }

我能做的就是

type EntriesOf<Type> = { key: keyof Type; value: Type[keyof Type] }

但结果是

{ key: 'a' | 'b'; value: ValueA | ValueB }