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