update to Template Haskell for rich kinds

[Richard Eisenberg]

Hi all,

I'm working on bringing Template Haskell up to speed with the new 
extensions for polymorphic kinds and promoted data kinds. This requires 
a few small, non-breaking changes to TH datatypes. I've made a (short) 
wiki page at 
http://hackage.haskell.org/trac/ghc/wiki/TemplateHaskellRichKinds and 
the official Trac feature request is 
hackage.haskell.org/trac/ghc/ticket/5612

Does anyone have any suggestions to what I've written? Any other comments?

Thanks!
Richard