Serokell's GHC team continues its ongoing effort to implement dependent types in Haskell, presenting three major contributions—visible forall in GADTs, namespace-specified imports, and type instances in kind checking—alongside numerous incremental improvements. The article outlines the design landscape from GHC Proposal #378, covering multiple quantifier forms and progressing toward the ambitious dependent product (Π-type) goal.
Background
Serokell is a software engineering company that has been actively contributing to GHC's dependent types research for several years through a series of technical blog posts. GHC Proposal #378 outlines the design roadmap for adding dependent types to Haskell.
- Source
- Lobsters
- Published
- Aug 15, 2026 at 06:42 PM
- Score
- 7.0 / 10