Sorry that was quite long but I initially thought it was one problem but then discovered it was the mixture of Suspend and shallow. My conclusion from that is that without an effect system composing completely independent handlers is going to be tricky and require full knowledge of all the possible effects that your program calls and how they impact control flow.