Visible dependent quantification - Haskell

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?:
With StandaloneKindSignatures, this is going to make dependent kinds much nicer

This implements GHC proposal 35 ( by adding the ability to write kinds with visible dependent quantification (VDQ). Most of the work for supporting VDQ was actually done _before_ this...


type MySing :: forall k -> k -> Type
Sasha Bogicevic

Guess people are not using it much :)