Heuristics-based Type Error Diagnosis for Haskell: The case of GADTs and local reasoning. - Joris Burgers; Jurriaan Hage; Alejandro Serrano 001 (IFL, 2020)