#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 Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): I also experienced the same error as in comment:15 when I tried to derive a `Generic1` instance for `Compose` in Phab:D1543. A workaround is to use standalone deriving: {{{#!hs deriving instance Functor f => Generic1 (Compose f g) }}} If we fix this bug, we should remember to change that instance (located [http://git.haskell.org/ghc.git/blob/e0e03d5b9d5cd678f6402534451964d491f16540... here]). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10524#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler