Tupleが型Tuple2<A,B>になって、Conditional conformancesがある上でTupleNが全てTuple2の組み合わせのエイリアスなら成り立ちそうですが、これってバイナリツリーの平衡化とかも考えるんですか？効率は悪くなる気がしますね。