#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