[GHC] #14341: Show instance for TypeReps is a bit broken

[GHC]

#14341: Show instance for TypeReps is a bit broken
-------------------------------------+-------------------------------------
        Reporter:  dfeuer            |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Core Libraries    |              Version:  8.2.1
      Resolution:                    |             Keywords:  Typeable
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4084
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by dfeuer):

 Actually, there's a third problem as well: type operators are not shown
 infix! The solution, I believe, is to add operator precedence to `TyCon`,
 and then to use something akin to `Show` derivation machinery in
 `showTypeRep`. I imagine we don't need to worry too much about showing
 these things ''efficiently'', at least for the foreseeable future.
 `SomeTypeRep` has no `Read` instance, so there's no substantial risk of
 anyone trying to use its `Show` instance for anything other than error
 messages and interactive exploration.

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