[GHC] #10541: Expose kind information for type variables with reify

[GHC]

#10541: Expose kind information for type variables with reify
-------------------------------------+-------------------------------------
        Reporter:  spinda            |                   Owner:
            Type:  feature request   |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Template Haskell  |                 Version:  7.10.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by spinda):

 That sounds right to me. If the splice produced {{{a b c}}} then that
 would change the kind.

 My use case is reading the kind in type synonyms with explicit kind
 signatures on certain type variables. What about possibility (b), with
 {{{KindedTV}}} where the kind is known and {{{PlainTV}}} where it isn't
 set? Or perhaps an additional {{{Maybe Kind}}} on {{{TyVarI}}}.

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