[GHC] #8778: Typeable TypeNats

[GHC]

#8778: Typeable TypeNats
--------------------------------------------+------------------------------
        Reporter:  dmcclean                 |            Owner:
            Type:  feature request          |           Status:  new
        Priority:  normal                   |        Milestone:  ⊥
       Component:  Compiler (Type checker)  |          Version:  7.8.1-rc1
      Resolution:                           |         Keywords:
Operating System:  Unknown/Multiple         |     Architecture:
 Type of failure:  None/Unknown             |  Unknown/Multiple
       Test Case:                           |       Difficulty:  Unknown
        Blocking:                           |       Blocked By:
                                            |  Related Tickets:  4385
--------------------------------------------+------------------------------

Comment (by carlhowells):

 If this is possible, it'd be really great to have.  For Symbols, too.
 Just because sometimes Typeable is helpful, and for the times when it is,
 it's nice for new fancy types to be instances of it as well.

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