6.11.1.1. The forall-or-nothing rule¶| ghc.gitlab.haskell.org
6.11.5. Lexically scoped type variables¶| ghc.gitlab.haskell.org
5.2.3. Individual warning options¶| ghc.gitlab.haskell.org
6.4.13. Kind polymorphism¶| ghc.gitlab.haskell.org
6.4.10. Datatype promotion¶| ghc.gitlab.haskell.org