[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 goldfire):

 Despite the work you've done on this, I am becoming less convinced that we
 should fix #6024. Reading the code, I realized that this extension would
 allow users to define data constructors that live only in types, but
 there's no way to make one that lives only in terms! That seems oddly
 asymmetrical. It might be worth a wider discussion about the merits of
 kind-only datatypes in GHC 8.x.

 Of course, none of this applies to open kinds, which are indeed still very
 useful.

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