假设我有以下类型
type One = 1;
type SmallEvens = 0 | 2 | 4 | 6 | 8 | 10;
type Three = 3;
我是否可以定义某种类型，像这样在类型级别上Add<T, U>添加数字？
type SmallOdds = Add<One, SmallEvens>; // same as `1 | 3 | 5 | 7 | 9 | 11`
type Four = Add<One, Three> // same as `4`
或者，我应该寻找数字的替代表示形式来实现这种效果吗？然而，能够转换为这样的东西，extends number以便我可以将它用于元组索引将是一个很大的优势。