Haskell-GADT-GHC.402

Generalized Algebraic Data Types for GHC (#402)
Is freely licensed? ✅
Website https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0402-gadt-syntax.rst
NLNet grant pages