The State of Coherence in the Land of Type Classes programming-journal.org 3 points by mpweiher a day ago