Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Why is nobody talking about visible dependent (kind) quantification in 8.10?: https://gitlab.haskell.org/ghc/ghc/commit/c26d299dc422f43b8c37da4b26da2067eedcbae8
With StandaloneKindSignatures, this is going to make dependent kinds much nicer
type MySing :: forall k -> k -> Type
Guess people are not using it much :)