モナドは発動の順序を保証する

f . g
も発動の順序を保証しますよね？

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

これはC++がテンプレートの機構をハックしてTMPを見つけた事に似てる気がします