Only that the more one adds to THSyntax the more any program running over it needs to deal with. Functional dependencies? scoped type variables? etc S | -----Original Message----- | From: Sean Seefried [mailto:sseefried@cse.unsw.edu.au] | Sent: 26 November 2003 09:56 | To: template-haskell@haskell.org | Cc: Simon Peyton-Jones | Subject: Representing unboxed tuples in TH | | I've noticed that you can't represent unboxed tuples in Template | Haskell. Is there any strong reason for why this would be hard to do? | My knowledge on this topic is scant. | | Sean |