I would like to use typeclass constraints in my Typed Template Haskell snippets, but just can\'t get them to work: the instances seem to be missing inside the splice.
