[GHC] #10524: PolyKinds doesn't interact well with DeriveFunctor

[GHC]

#10524: PolyKinds doesn't interact well with DeriveFunctor
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                Owner:
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.10.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  GHC rejects       |  Unknown/Multiple
  valid program                      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #10561            |  Differential Rev(s):  Phab:D2097
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"aadde2b90817c577336da0d4a10ea47551d60c7e/ghc" aadde2b/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="aadde2b90817c577336da0d4a10ea47551d60c7e"
 Deriving Functor-like classes should unify kind variables

 While the deriving machinery always unifies the kind of the typeclass
 argument with the kind of the datatype, this proves not to be sufficient
 to produce well kinded instances for some poly-kinded datatypes. For
 example:

 ```
 newtype Compose (f :: k2 -> *) (g :: k1 -> k2) (a :: k1)
   = Compose (f (g a)) deriving Functor
 ```

 would fail because only `k1` would get unified with `*`, causing the
 following
 ill kinded instance to be generated:

 ```
 instance (Functor (f :: k2 -> *), Functor (g :: * -> k2)) =>
   Functor (Compose f g) where ...
 ```

 To prevent this, we need to take the subtypes and unify their kinds with
 `* -> *`.

 Fixes #10524 for good.

 Test Plan: ./validate

 Reviewers: simonpj, hvr, austin, bgamari

 Subscribers: thomie

 Differential Revision: https://phabricator.haskell.org/D2097

 GHC Trac Issues: #10524, #10561
 }}}

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