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

[GHC]

#10524: PolyKinds doesn't interact well with DeriveFunctor
-------------------------------------+-------------------------------------
        Reporter:  RyanGlScott       |                   Owner:
            Type:  bug               |                  Status:  new
        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 Revisions:
-------------------------------------+-------------------------------------

Comment (by Simon Peyton Jones <simonpj@…>):

 In [changeset:"8e347839be4d52b6f74cc11e18e5820f88969c80/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="8e347839be4d52b6f74cc11e18e5820f88969c80"
 Make fvType ignore kinds

 TcValidity.fvTypes works in partnership with sizeTypes, and
 hence should ignore kinds in exactly the same way.  It wasn't
 doing so, which meant that validDerivPred said "No" when it
 should have said "Yes". That led to the bug reported in
 Trac #10524 comment:7.

 The error message is pretty terrible
   No instance for (Typeable T)
 but I'll fix that next
 }}}

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