try_shallow
  10 + perform 3
with effect x, k -> k (2 * (x + 1))