Re[4]: [Template-haskell] GADTs