[GHC] #11080: Open data kinds

[GHC]

#11080: Open data kinds
-------------------------------------+-------------------------------------
        Reporter:  dmcclean          |                Owner:  jstolarek
            Type:  feature request   |               Status:  new
        Priority:  low               |            Milestone:
       Component:  Compiler          |              Version:
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #6024             |  Differential Rev(s):  Phab:D1778
       Wiki Page:                    |
  GhcKinds/KindsWithoutData          |
-------------------------------------+-------------------------------------

Comment (by jstolarek):

 Two design questions:

 1. This work should obviously go into its own language extension. How
 should we name it? Note that it will enable not only open data kinds, but
 also closed data kinds without associated data type (#6024)

 2. Should the new extension imply any other extensions? I think
 `PolyKinds` should be implied.

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