We too
withl label1: result1 <- expr1(), label2: result2 <- expr2() do do_something(result1, result2) else label1: error -> handle_error1(error) label2: error -> handle_error2(error) # note that result1 is accessible here in case you need it end