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