Serokell’s Work on GHC: Dependent Types, Part 5
Summary
Serokell’s GHC: Dependent Types, Part 5 reports three major contributions toward practical dependent types in Haskell: visible forall in GADTs, namespace-specified imports, and type instances in kind checking, with additional progress on unifying HsType and HsExpr, star-kind syntax, pun detection, and new type families. The post also discusses name-resolution improvements and future work.