Paul Moore writes:
But I do agree with MAL, it seems wrong to need a helper for this, even though it's a logical consequence of the other semantics I described as intuitive :-(
It seems to me this is an argument for using Haskell if you want life to be simple. :-)
Or, in the spirit of the Zen: "Side effects induce complexity."