On the State of Coherence in the Land of Type Classes - Racordon, Dimi; Flesselle, Eugene; Pham, Cao Nguyen (The Art, Science, and Engineering of Programming, 2025)