Re: [GHC] #9790: Produce coercion rules for derived Functor instances