[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
       Keywords:                           |  Operating System:
   Architecture:  Unknown/Multiple         |  Unknown/Multiple
     Difficulty:  Unknown                  |   Type of failure:
     Blocked By:                           |  None/Unknown
Related Tickets:  4385                     |         Test Case:
                                           |          Blocking:
-------------------------------------------+-------------------------------
 It would be useful (the case I have at hand is for some scenarios
 involving checking of physical dimensions) to be able to combine the
 Data.Dynamic story with the GHC.TypeLits story.

 A Typeable instance for every Nat is the sticking point.

 (I do not know if this is even theoretically possible.)

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