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