[GHC] #11080: Open data kinds

[GHC]

#11080: Open data kinds
-------------------------------------+-------------------------------------
        Reporter:  dmcclean          |                Owner:
            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:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by dmcclean):

 I'm not sure who you're asking, but I'll weigh in that as far as I know
 nobody has begun any implementation work yet and your contribution would
 probably be welcome. Personally implementing this is way over my head, so
 I can't offer to help myself.

 I do like the alternative syntax proposal `data Extension Unit where ...`.
 It's true that the grouping is semantically meaningless, but it does seem
 more similar to existing syntax. Also if this were to later be extended to
 allow adding new constructors to open types of kind `*` this syntax would
 seem to more naturally support adding new GADT style constructors.

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