Re: [GHC] #10828: TH could do a better job of representing GADTs (was: TH can't represent all GADTs in its AST)