#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 Iceland_jack): I discuss my use cases for this feature here [https://gist.github.com/Icelandjack/ae22c42b01c9be7e8a82f80bc8ab3f1c Encoding Overlapping, Extensible Isomorphisms] & [https://gist.github.com/Icelandjack/865476f2299a4916d4e237d0f8ed0119 Rethinking Tricky Classes: Explicit Witnesses of Monoid Actions, Semigroup / Monoid / Applicative homomorphisms]. Does it make sense to allow associated open kinds? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11080#comment:17 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler