| I'm happy with the proposal :). Although now that 6.0 is out, is the | syntax still going to be changed? Oh yes, it's too early to start fixing TH just because it's out. In the sterling tradition of GHC (H98 subset aside) I think we are free to change the defn of TH! The user base is small enough and motivated enough to move with us. S