我试图创建一个pair类型，它只允许从给定的字符串联合中分配匹配的值。
首先，我已经可以从给予const数组创建一个字符串联合：

const allFoos = ['foo', 'bar', 'baz'] as const;

// Creates a string union of ('foo' | 'bar' | 'baz')
type Foo = typeof allFoos[number];

另外，我可以创建一个元组，它只允许分配这个联合的成员。

// Creates a tuple allow any two of Foo to be assigned
type Pair = readonly [Foo, Foo];

const good: Pair = ['foo', 'bar']; // Assigns fine
const bad: Pair = ['foo', 'zzz']; // Compile error

理想情况下，我想要一个只允许相同值的元组类型。
显然，我可以通过手写指定所有结果：

type HandWrittenMatchedPair = 
  | readonly ['foo', 'foo']
  | readonly ['bar', 'bar']
  | readonly ['baz', 'baz'];

const good: HandWrittenMatchedPair = ['foo', 'foo']; // Assigns fine
const bad: HandWrittenMatchedPair = ['foo', 'baz']; // Compile error

添加的元素越多，手写所有变体的可行性就越小。同样对于N个元素元组，它变得更加乏味，所以理想情况下应该生成这些类型：

// How to do this without handwriting every possibility?
type MatchedPair = [???]; 

// Ideal outcome
const good: MatchedPair = ['foo', 'foo']; // Should assign fine
const bad: MatchedPair = ['foo', 'bar']; // Should result in compile error

我想做的事情可能吗？