(* + evaluates its arguments left to right *)
try
  try perform_shallow 2 + perform_shallow 3 with
  | effect n, k -> continue k (n + 1)
with
| effect m, k -> continue k (m * 2)