[Haskell-cafe] Help with TH trick

I remember seeing a package that offered a function used something like this: $(deriveThingy [d| instance Foo a => Thingy a |]) to allow the user to specify the constraint(s) for a generated instance. I'd love to borrow the code for that, but I can't remember what package it was in, what class it derived, etc. Can anyone help?