Specify kind variables for inferred kinds in base.

libraries/base/Control/Arrow.hs

libraries/base/Control/Category.hs

libraries/base/Data/Data.hs

libraries/base/Data/Dynamic.hs

libraries/base/Data/Fixed.hs

libraries/base/Data/Functor/Compose.hs

libraries/base/Data/Functor/Const.hs

libraries/base/Data/Functor/Product.hs

libraries/base/Data/Functor/Sum.hs

libraries/base/Data/Type/Coercion.hs

libraries/base/Data/Type/Equality.hs

libraries/base/GHC/Generics.hs

libraries/base/changelog.md

libraries/ghc-prim/GHC/Types.hs

testsuite/tests/dependent/should_fail/T11334b.stderr

testsuite/tests/deriving/should_compile/T14578.stderr

testsuite/tests/generics/T10604/T10604_deriving.stderr

testsuite/tests/ghci/scripts/T12550.stdout

testsuite/tests/partial-sigs/should_compile/T15039b.stderr

testsuite/tests/partial-sigs/should_compile/T15039d.stderr