6.11.1.1. The forall-or-nothing rule¶| 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.4.9. Generalised Algebraic Data Types (GADTs)¶| ghc.gitlab.haskell.org
6.4.16. Visible type application¶| ghc.gitlab.haskell.org