On the State of Coherence in the Land of Type Classes

Dimi Racordon, Eugene Flesselle, Cao Nguyen Pham

Type classes are a popular tool for implementing generic algorithms and data structures without loss of efficiency, bridging the gap between parametric and ad-hoc polymorphism. Sin…