#14348: Poly-kinded definitions silently introduce extra type arguments captured by TypeApplications -------------------------------------+------------------------------------- Reporter: gallais | Owner: (none) Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler (Type | Version: 8.0.1 checker) | Keywords: Resolution: invalid | TypeApplications Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): I believe what you are looking for is [https://github.com/goldfirere/ghc/pull/74 explicit specificity]. This is a GHC "proposal" that isn't fully baked yet, or even been formally proposed yet—I'm only showing this to you since you asked nicely ;) This would allow you to write: {{{#!hs data Wrap {k} (a :: k) }}} To tell GHC to treat `k` as though it were inferred (even though it's technically written in the source) and thus not available for visible type application. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14348#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler