I'm concerned about what would happen to the following. All these are considered equivalent currently: (a,b,c) (a,(b,c)) ((a,b,c)) ((a,b),(c)) ((a),(b),(c)) [Of course, using the __tuple syntax.] Does your proposal change that? I can't quite be sure.