(* right to left: 8 *)
(* left to right: 9 *)
try_shallow
  try_shallow perform 2 + perform 3 with
  | effect n, k -> continue k (n + 1)
with
| effect m, k -> continue k (m * 2)