[GHC] #14419: Check kinds for ambiguity

[GHC]

#14419: Check kinds for ambiguity
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:  TypeInType
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 simonpj):

 >     Make sure not to ever run the type-ambiguity check on kinds.

 Do we need to do anything else instead?  Or are you saying simply drop it.
 And if so why do the ills of ambiguous types not apply to kinds?

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