[Template-haskell] Re: Extending the reification information of a class with its known instances