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

Adam Gundry adam at well-typed.com
Thu Feb 8 21:15:41 UTC 2024


Dear Committee,

Vlad proposes to amend StandaloneKindSignatures to support scoped kind 
variables:

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

I'd like to nominate Eric as the shepherd.

Please guide us to a conclusion as outlined in
https://github.com/ghc-proposals/ghc-proposals#committee-process

Cheers,

Adam

-- 
Adam Gundry, Haskell Consultant
Well-Typed LLP, https://www.well-typed.com/

Registered in England & Wales, OC335890
27 Old Gloucester Street, London WC1N 3AX, England


More information about the ghc-steering-committee mailing list