[kryptiskt]

Type classes are so good at error messages that they were proposed as the solution to the error message mess in C++ in the form of Concepts.

[fpgeek]

As someone who's spent more time than I'd like to remember improving type class error messages, this sentence boggled my mind. Then I remembered what C++ template error messages are like and it all made sense again.