And also checked exceptions are, politely, the dumbest idea ever. And also all languages that use the C++/java exception handling mode are inherently broken, brittle, uncomposable, and impossible to design around cleanly. And also we solved this problem in 1991 with Common Lisp's conditions and...