Re: order of computation in 'do' notation