1 + try (try 10 + perform 3 * perform 4 with effect x, k -> k x - 2) - 5 with effect y, h -> y * 2