Blog: Type Families
Dependency Analysis of Haskell Declarations
Learn how GHC analyzes Haskell code to type-check it in the correct order and what are the flaws of the current implementation.
Type Families in Haskell: The Definitive Guide
Learn about type families, one of the most powerful type-level programming features in Haskell.
Compile-Time Evaluation in Haskell
In this article, we look at three ways to do compile-time evaluation in Haskell: Template Haskell, type families, and functional dependencies.