Oh! I tried using `block` and wondered why it didn't work ... I didn't realize parens were necessary.
The `do` notation seems an improvement; it resolves two of the three complaints I gave above. If it had better type-inference I'd love it. Maybe that's why it's still experimental? e.g. what I'd like to see is `let plusTwo = twice(10) do (n):`