>■行を実行する
>■結果を変数に代入する (しない場合もある)
>■後ろの行は前の処理結果 (変数の値) を利用して計算したりする。

結局，モナドとは，手続き型言語ではふつうにやることを
関数型でもできるようにするデザパタのことと思えばよいの？