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

Eric Seidel eric at seidel.io
Sat Feb 10 03:09:59 UTC 2024

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.



More information about the ghc-steering-committee mailing list