なるほど、上で「左から右」って書いてある意味は、「>>=や>>の左辺→右辺」という意味ですね。

実行すべきモノのキューというより連結可能なリストが、IOモナド毎にあって、
最終的に>>や>>=による合成で出来たIOモナドのタスクリストが実行される。

評価順の不定があっても、出来るIOモナド（の実行足す栗須と）は同じだから問題ない、
というところでしょうか。