RE: [Template-haskell] Querying the instances a data type implements