[GHC] #14579: GeneralizedNewtypeDeriving produces ambiguously-kinded code

[GHC]

#14579: GeneralizedNewtypeDeriving produces ambiguously-kinded code
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.10.1
       Component:  Compiler (Type    |              Version:  8.2.2
  checker)                           |
      Resolution:                    |             Keywords:  deriving
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  GHC rejects       |            Test Case:
  valid program                      |  deriving/should_compile/T14579{a}
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4264,
       Wiki Page:                    |  Phab:D5229
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):

 * blockedby:  12045 =>


Comment:

 To recap, there are two distinct-but-related tasks here:

 1. Make GND-generated code use VKA to instantiate arguments in specified
 positions.
 2. Minimize the number of explicit kind signatures generated by GND code
 by using the approach discussed in comment:21.

 Althought (1) and (2) can technically be done independently, it's only the
 combination of the two that will make it so that the original program in
 this ticket generate code with no explicit kind signatures adorning its
 `'Proxy` types. I'll look into this approach.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14579#comment:23>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler