A type checking algorithm to produce better error messages:
Paper: http://gergo.erdi.hu/projects/tandoori/Tandoori-Compositional-Typeclass.pdf
Compositional Type Checking
This work is licensed under a Creative Commons Attribution 4.0 International License