[GHC] #7224: Polymorphic kind annotations on type classes don't always work as expected

[GHC]

#7224: Polymorphic kind annotations on type classes don't always work as expected
----------------------------------------+-----------------------------------
    Reporter:  slindley                 |       Owner:                           
        Type:  bug                      |      Status:  merge                    
    Priority:  normal                   |   Milestone:                           
   Component:  Compiler (Type checker)  |     Version:  7.6.1-rc1                
    Keywords:  kind polymorphism        |          Os:  Unknown/Multiple         
Architecture:  Unknown/Multiple         |     Failure:  GHC rejects valid program
  Difficulty:  Unknown                  |    Testcase:  polykinds/T7224          
   Blockedby:                           |    Blocking:                           
     Related:                           |  
----------------------------------------+-----------------------------------

Comment(by slindley):

 Ah yes. Kind variables bound at the top level of a type class definition
 are in scope for the rest of the class definition. I guess (if the GHC
 type system was suitably adapted) it might actually be useful to allow
 kind variables in types.

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