Tag
This article details recent advancements in dependent types for Haskell's GHC compiler, including visible forall in GADTs, namespace-specified imports, and other compiler improvements.