Add -Wmissing-poly-kind-signatures
This would be a restricted version of -Wmissing-kind-signatures
shown only for polykinded types.
This is useful together with PolyKinds
to catch accidentally polykinded types, or to make that polymorphism explicit without needing to give kind signature to every type (to silent -Wmissing-kind-signatures
).