[GHC] #5612: Better support for kinds in Template Haskell

[GHC]

#5612: Better support for kinds in Template Haskell
-------------------------------------------+--------------------------------
    Reporter:  guest                       |       Owner:  lunaris         
        Type:  feature request             |      Status:  patch           
    Priority:  low                         |   Milestone:  7.6.1           
   Component:  Compiler                    |     Version:  7.3             
    Keywords:  PolyKinds, TemplateHaskell  |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple            |     Failure:  Other           
  Difficulty:  Unknown                     |    Testcase:                  
   Blockedby:                              |    Blocking:                  
     Related:                              |  
-------------------------------------------+--------------------------------

Comment(by goldfire):

 I, for one, like the idea of fold and unfold operations in the TH library.

 How would one refer to the kind {{{Nat}}}? Is it {{{PromotedT (mkName
 "Nat")}}} or {{{ConT (mkName "Nat")}}} (both used in a context expecting a
 kind)? Does the algorithm in Convert.lhs check for consistent usage of
 {{{ConT}}} vs {{{PromotedT}}}?

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5612#comment:19>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler