The paper about type classes [1] includes exceptions as an example. [1] https://web.cecs.pdx.edu/~mpj/pubs/springschool95.pdf https://web.cecs.pdx.edu/~mpj/pub

The paper about type classes [1] includes exceptions as an example. [1] https://web.cecs.pdx.edu/~mpj/pubs/springschool95.pdf https://web.cecs.pdx.edu/~mpj/pubs/springschool95.pdf This [2] paper generalizes exceptions, allowing them to be first class citizens of a language and even to be a exceptions-as-a-library. [2] https://raw.githubusercontent.com/nbenton/nbenton.github.io/master/monadsandeffectsfinal.pdf https://raw.githubusercontent.com/nbenton/nbenton.github.io/... In (not only) my opinion, Haskell's greatness is in "what is a language feature in most languages is a library in Haskell." One can model type system of a language by embedding it as a library into a Haskell and then develop it further as a standalone language if one prefers such path. I did that embed-as-library thing several times. It was of great help, especially in the embedded systems and hardware circuits domains.