[GHC] #16300: Make TH always reify data types with explicit return kinds

[GHC]

#16300: Make TH always reify data types with explicit return kinds
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Template Haskell  |              Version:  8.6.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 > I suppose we could just park this ticket until that becomes a reality.

 That sounds like as good an idea of any of these others.

 Actually, maybe it would be better to have `qTypeKind :: Type -> Q Kind`
 and `qExprType :: Exp -> Q Type`. Then, we can avoid this whole kerfuffle
 for unlifted newtypes by requiring clients to just get the kind of the
 argument. Note that these two functions would not be particularly hard to
 write but would be very useful.

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