6.4.7. Existentially quantified data constructors¶| ghc.gitlab.haskell.org
6.4.9. Generalised Algebraic Data Types (GADTs)¶| ghc.gitlab.haskell.org
6.1.1. Controlling editions and extensions¶| ghc.gitlab.haskell.org
