[GHC] #6024: Allow defining kinds alone, without a datatype

[GHC]

#6024: Allow defining kinds alone, without a datatype
----------------------------------------+-----------------------------------
    Reporter:  dreixel                  |       Owner:                  
        Type:  feature request          |      Status:  new             
    Priority:  normal                   |   Milestone:  7.8.1           
   Component:  Compiler (Type checker)  |     Version:  7.5             
    Keywords:                           |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |     Failure:  None/Unknown    
  Difficulty:  Unknown                  |    Testcase:                  
   Blockedby:                           |    Blocking:                  
     Related:                           |  
----------------------------------------+-----------------------------------
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 7.8.1


Comment:

 Is it clear that being able to use the same names for different things
 won't cause too much confusion?

 I guess that we manage fine with constructors and types sharing names, so
 perhaps there is no problem with types and kinds.

 Are there any plans to have support for "sorts" and above in GHC? If so,
 would each level have its own namespace?

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