[ghc-steering-committee] Please review #592: Scoped kind variables in standalone kind signatures