「モナドの定義とか」への追記で書こうかと思ったけど、ちょっと長いからエントリー起こします。まず、「Kleisliトリプルの拡張オペレータ（extension; 僕はextと書いた）のHaskellでの対応物」の件は、nanakosoさんが“彷徨の末に落ち着いた経緯”を報告なさ…

せきしろさんの『去年ルノアールで』のなかに、確率を計算する場面があります。かわいい子とルノアールで出会い恋が生まれる確率 ＝ 12.5%： かわいい子が来る確率は来るか来ないかだから50%、その子がつまずく[檜山注：隣の席に座ろうとして転ぶ]確率は同様…

拡張（extension）によるモナドの定義（Kleisliトリプル）とHaskellの演算子>>=の関係で、nanakosoさんが記述を修正なさっているにもかかわらず、引用のほうがそのままだったりしてマズイ。その他、コメントト／ラックバックをいただいてますが、外出の予定…