6.11.5. Lexically scoped type variables¶| ghc.gitlab.haskell.org
6.4.20. Arbitrary-rank polymorphism¶| ghc.gitlab.haskell.org
6.11.7.1.2. Named Wildcards¶| ghc.gitlab.haskell.org
6.1.1. Controlling editions and extensions¶| ghc.gitlab.haskell.org
6.4.13. Kind polymorphism¶| ghc.gitlab.haskell.org