In the case of error, assert and undefined, I wouldn&#x27;t class them as exceptions but as unrecoverable errors, as discussed in the linked wiki page.<p>I wasn&#x27;t aware of &#x27;throw&#x27; and that certainly weakens my argument. You could maybe argue it is an escape hatch in the same vein as unsafePerformIO, but I don&#x27;t know how it is viewed by the community.<p>You could argue I&#x27;m playing word games here, and I have some sympathy for that argument. What I wanted to get across is checked exceptions ala. Java (although they are too commonly bypassed in that example). Maybe moving it to the documentation section is a good compromise.