Now that "OVERLAPPING" and "OVERLAPPABLE" are pragmas on the instances, do we have a way to generate instances with such pragmas using Template Haskell?   I can't seem to find a way to do this, which is unfortunate.

If I am not missing anything, would there be objections to adding it to the TH library before the next release---I would volunteer to do the change ASAP.

Let me know,

-Iavor