> Is the do keyword more than just a syntactic sugar for a string of
> binds and lambdas ?

No, "do" is not more than syntactic sugar. The way to control execution
order is "seq" and bang patterns.

I think better wording is to say *evaluation* order, not execution order.