Re: [GHC] #8534: DeriveFunctor and PolyKinds