1 paper
Koen Pauwels, Georgios Karachalias, Michiel Derhaeg +1
GADTs were introduced in Haskell's eco-system more than a decade ago, but their interaction with several mainstream features such as type classes and functional dependencies has a…