On the incompatibility of linear types and traditional exception handling.