>>585
f . g も評価の順序は f より g が先だと保証されている。
（発動とか訳分からん用語使うな）

にも関わらずわざわざ (>>=) などが改めて定義されているのは、
Haskell でモナドを構成するのに評価順序以外にも必要な要素があるからだ。

> モナドは造られたものじゃない
> 見つけられたものなんでしょう

「A History of Haskell」に何から発想を得たのか少しだけ書かれている（7章2節）。
解説が面倒だから、興味があれば自分で読んでくれ。