Apply the kind subst to the (kinds of the) quanitifed tyvars in deriveTyData
Apply the kind subst to the (kinds of the) quanitifed tyvars in deriveTyData

I've elaboated Note [Unify kinds in deriving] to explain
what is going on here.

The change fixes Trac #8893.

(cherry picked from commit ffed708c30f2d1d4b4c5cd08d9c19aeb0bb623ec)

hferreiro/replay,hferreiro/replay,hferreiro/replay,lukexi/ghc-7.8-arm64,lukexi/ghc-7.8-arm64,hferreiro/replay,lukexi/ghc-7.8-arm64,hferreiro/replay,lukexi/ghc-7.8-arm64,hferreiro/replay,hferreiro/replay,lukexi/ghc-7.8-arm64