History of DH (Dependent Types in Haskell) contributions
Haskell Community [Unofficial]
March 28, 2026
There has actually been a lot of progress! Some notable mentions:
- Retry type/class declarations and instances
- Visible forall in GADTs
- Namespace-specified imports
- Star kind syntax in expressions
And there’s an ongoing refactoring to unify HsExpr with HsType.
Discussion in the ATmosphere