[ghc-steering-committee] Proposal #592: Scoped kind variables in standalone kind signatures (recommend accept)

Dear Committee, Vlad has found what looks like a clear gap in the interaction between two extensions: -XStandaloneKindSignatures and -XExtendedForAllScope. I think it's quite obvious that under -XExtendedForAllScope the forall in a standalone kind signature should behave like the forall in a standalone type signature, i.e. it should scope over the definition as well. I recommend accepting this amendment to StandaloneKindSignatures. Eric https://github.com/ghc-proposals/ghc-proposals/pull/592 https://github.com/int-index/ghc-proposals/blob/scoped-saks/proposals/0054-k...