On the State of Coherence in the Land of Type Classes. - Dimi Racordon; Eugene Flesselle; Cao Nguyen Pham (Art Sci. Eng. Program., 2025)