[GHC] #15871: Revamp -fprint-explicit-kinds

[GHC]

#15871: Revamp -fprint-explicit-kinds
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.6.2
      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 goldfire):

 I vote for (3) in comment:2. I think that's a general improvement over the
 status quo, regardless of the behavior change proposed in this ticket.

 Is it ever the case that we print invisible arguments in terms? We should
 perhaps mirror the treatment in types in terms, as well. But maybe that's
 better in a separate ticket.

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