[GHC] #10343: Make Typeable track kind information better

[GHC]

#10343: Make Typeable track kind information better
-------------------------------------+-------------------------------------
        Reporter:  oerjan            |                   Owner:
            Type:  feature request   |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.10.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:  typeOf ::
 Related Tickets:  #9858             |  Typeable (a::k) => Proxy a ->
                                     |  TypeRep
                                     |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------

Comment (by simonpj):

 I was using "what Oerjan wants" as shorthand for the Description of this
 ticket.  For exmaple, he wants the expression
 {{{
 typeRep :: Typeable a => Proxy a -> TypeRep
 }}}
 to typecheck.  And it think it will when Richard is done.  Similarly
 perhaps other items on his wish list above.  Perhaps it would help to edit
 the description to enumerate "Wish 1", "Wish 2" etc?

 In "Wish n" he is asking for `kindRep`, for reasons I do not understand.
 Maybe you can give a use-case?  And better still, what would it look like
 in the context of type-indexed type representations described in
 wiki:Typeable?

 Simon

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