[GHC] #13391: PolyKinds is more permissive in GHC 8

[GHC]

#13391: PolyKinds is more permissive in GHC 8
-------------------------------------+-------------------------------------
        Reporter:  crockeea          |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.2
      Resolution:                    |             Keywords:  newcomer,
                                     |  TypeInType
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC accepts       |  Unknown/Multiple
  invalid program                    |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by RyanGlScott):

 Replying to [comment:3 goldfire]:
 > I don't think this is quite so easy. The old check needed to tell the
 difference between types and kinds. We can't do that anymore!

 Ah, good point. I'll remove the "newcomer" label so that we don't
 accidentally lead a new GHC contributor down a rabbit hole they can't
 climb back out of (something which has happened to me more times than I
 care to admit).

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