[GHC] #8084: Enabling PolyKinds makes some type errors weird

[GHC]

#8084: Enabling PolyKinds makes some type errors weird
--------------------------------------------+------------------------------
        Reporter:  MartijnVanSteenbergen    |            Owner:
            Type:  bug                      |           Status:  new
        Priority:  normal                   |        Milestone:
       Component:  Compiler (Type checker)  |          Version:  7.6.3
      Resolution:                           |         Keywords:
Operating System:  Unknown/Multiple         |     Architecture:
 Type of failure:  None/Unknown             |  Unknown/Multiple
       Test Case:                           |       Difficulty:  Unknown
        Blocking:                           |       Blocked By:
                                            |  Related Tickets:
--------------------------------------------+------------------------------

Comment (by kosmikus):

 I agree that the information is very useful, but generally, I'd like
 information printed by GHC to be valid Haskell. One way to achieve that
 would be to print kind arguments as comments:
 {{{
 Any {- * -} Y
 }}}
 But it's very noisy. I'm not even sure I like this myself ...

 Having a flag to enable/disable them definitely seems useful, too. I don't
 care much about the default.

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