(* right to left: 4 *)
(* left to right: 5 *)
1 + try
     (try
       10 + perform_shallow 3 + perform_shallow 4
      with effect x, k -> k x - 2)
    with effect y, h -> y