Linear Types and Exceptions - eviltoast
On the incompatibility of linear types and traditional exception handling.