(T) を T と同一視する」はそうなってるんですが、それとは違って… と思ったけど言い方がよくなかったですね(1,2) == (1, (2)) // 2 == (2) なので true (1,2,3) == (1,(2,3)) // Binary operator '==' cannot be applied to operands of type '(Int, Int, Int)' and '(Int, (Int, Int))' 下が通れば無限個のタプルを処理できるなーということです (edited)