#16013: :kind! accepts unsaturated type aliases -------------------------------------+------------------------------------- Reporter: dmwit | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #13962 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dmwit): Sure, I understand the motivation. It seems like a sensible middle ground would be to special-case only top- level unsaturated type aliases/families, and not wholesale allow unsaturation. And indeed the way the documentation was written makes it sound like that's the case: it uses the precise language ":kind even allows you to write a partial application of a type synonym", whereas `Id Foo` is not a partial application of a type synonym but rather the application of a type (family) to a partial application of a type synonym. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16013#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler