これ、 swift-evolution に出してもいいんでは？ Inconsistent bihavior of tupple variances みたいな。