@omochimetaru 多分言いたいのは ((A, B), C) と (A, (B, C)) は違う型ということやんね？それは同意です。

2:05 AM

個人的にはタプルが nominal でないのは、タプルの乱用を防ぐためには理に適っているように思います。タプルを使うべきでないケースで struct を利用する圧力になっていると思う。