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

[Eric Seidel]

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-kind-signatures.rst#proposed-change-specification