⁷  When there are may interrupting messages for multiple catch blocks, a safe method is to classify interruption types (w.r.t. interaction signatures) into “escape types” in a lattice, just as the exception class hierarchy in Java.