6.4.8. Declaring data types with explicit constructor signatures¶| ghc.gitlab.haskell.org
6.11.5. Lexically scoped type variables¶| ghc.gitlab.haskell.org
6.4.10.1.2. Data instance declarations¶| ghc.gitlab.haskell.org
6.4.9. Generalised Algebraic Data Types (GADTs)¶| ghc.gitlab.haskell.org
6.4.13. Kind polymorphism¶| ghc.gitlab.haskell.org