#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 RyanGlScott): Replying to [comment:3 dmwit]:
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.
Indeed. Still, removing this feature would be a breaking change (albeit a slight one), so that's something to consider. It might be worth opening a [https://github.com/ghc-proposals/ghc-proposals GHC proposal] about this. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16013#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler