Better support for kinds in Template Haskell
Type checking the attached code produces a legitimate type error, and also the following message:
Tip.hs:107:14:ghc: panic! (the 'impossible' happened)
(GHC version 7.0.3 for i386-unknown-linux):
Exotic form of kind ghc-prim:GHC.Prim.?{(w) tc 34g}