try 1 + 2 with
| effect n, k -> 10 * continue k (n + 1)