haskell の monad
- Haskell の処理系に組み込まれている monad サポートとは？構文糖衣 do のことなのか？？ただそれだけなのか？
- ユーザー定義演算子は左結合のようだが，本当か？どこに書いてある？
- IO モナドとは，
- 外せない IO マーク による副作用あり部分の隔離（IO マークの無い関数から IO マークがある関数を呼ぶことはできない）
- ＋
- >>= の左結合性がもたらす dependency による評価順序の強制
- と考えてよいのか？？
- 参照: The monad laws
