- 6.4.1. Data types with no constructors
- 6.4.2. Data type contexts
- 6.4.3. Infix type constructors, classes, and type variables
- 6.4.4. Type operators
- 6.4.5. Liberalised type synonyms
- 6.4.6. Existentially quantified data constructors
- 6.4.7. Declaring data types with explicit constructor signatures
- 6.4.8. Generalised Algebraic Data Types (GADTs)
- 6.4.9. Type families
- 6.4.10. Datatype promotion
- 6.4.11. Kind polymorphism
- 6.4.12. Representation polymorphism
- 6.4.13. Type-Level Literals
- 6.4.14. Visible type application
- 6.4.15. Arbitrary-rank polymorphism
- 6.4.16. Impredicative polymorphism
- 6.4.17. Linear types
- 6.4.18. Custom compile-time errors
- 6.4.19. Deferring type errors to runtime
- 6.4.20. Roles
6.4. Types
© 2002–2007 The University Court of the University of Glasgow. All rights reserved.
Licensed under the Glasgow Haskell Compiler License.
https://downloads.haskell.org/~ghc/9.4.2/docs/users_guide/exts/types.html