[GHC] #11011: Add type-indexed type representations (`TypeRep a`)

[GHC]

#11011: Add type-indexed type representations (`TypeRep a`)
-------------------------------------+-------------------------------------
        Reporter:  bjmprice          |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:
      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:                    |
-------------------------------------+-------------------------------------
Description changed by simonpj:

@@ -1,1 +1,1 @@
- We have a plan to move to a '''type-indexed form of `TypeRep`.  This
+ We have a plan to move to a '''type-indexed form of `TypeRep`'''.  This
@@ -4,1 +4,1 @@
- The key wiki page [wiki:Typeable].
+ The key wiki page is: [wiki:Typeable].

New description:

 We have a plan to move to a '''type-indexed form of `TypeRep`'''.  This
 ticket serves to track progress.

 The key wiki page is: [wiki:Typeable].

 We would like to invite comments and discussion from the community using
 this ticket as a more permanent home than email.

 There is a also a broader question, about using the new expressiveness of
 `TypeRep` and `Typeable` to support static pointers.  One particular point
 that would benefit from more eyes is the polymorphic static pointers
 support.  But first things first!

--

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