Visible dependent kind quantification does not require PolyKinds as documentation claims
Summary
Section 6.4.11.13 of the User's Guide where visible dependent kind quantification (VDKQ) is introduced claims
GHC permits writing kinds with this syntax, provided that the
ExplicitForAll
andPolyKinds
language extensions are enabled.
However there's a working VDKQ on line 60 of GHC's test file testsuite/tests/rep-poly/EtaExpandDataCon.hs
which does not contain a PolyKinds
language extension pragma.
Proposed improvements or changes
Document the actual combination of language extensions that enables VDKQ.
Environment
- GHC version used (if appropriate): 9.2.3