けっきょく「あれやってこれやって……」という順番があるのだから、それは
その順序が得られるように書くしかないわけで、関数的に書くというのはちょっ
と変なんじゃないかなぁ。
個々の関数を副作用なしに書く定義を書いといて、

空の風呂 >>= 水を入れる >>= 点火 >>= 火を止める

とかあたりでは。