visible-forall

本文详细介绍了 Haskell 的 GHC 编译器在依值类型方面的最新进展，包括 GADTs 中的可见 forall、命名空间指定导入以及其他编译器改进。