[GHC] #8697: Type rationals

[GHC]

#8697: Type rationals
-------------------------------------+-------------------------------------
        Reporter:  MikeIzbicki       |                Owner:  (none)
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.6.3
      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:                    |
-------------------------------------+-------------------------------------

Comment (by dredozubov):

 I want to say that I would personally like to see type literals for
 Integers and Rationals. You can always express Rationals as a library, for
 example, but type levels DSLs can't be really useful without a bit of
 syntactic sugar to support them.

 @adamgundry Considering the direction towards dependent types, I don't
 think it presents too big of a problem. Type language would have to
 support a wider array of literals at some anyway. For the state we're in
 today, singleton types and type literals compliment each other to create
 an expressive type level DSLs, as can be seen in this library, for an
 example:
 https://github.com/dredozubov/schematic/blob/master/src/Data/Schematic/Schema.hs

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