[Haskell-cafe] Execution order in IO

[Jon Schneider]

Good morning all,

I think I've got the hang of the way state is carried and fancy operators
work in monads but still have a major sticky issue.

With lazy evaluation where is it written that if you write things with no
dependencies with a "do" things will be done in order ? Or isn't it ?

Is it a feature of the language we're supposed to accept ?

Is it something in the implementation of IO ?

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

Jon