拡張（extension）によるモナドの定義（Kleisliトリプル）とHaskellの演算子>>=の関係で、nanakosoさんが記述を修正なさっているにもかかわらず、引用のほうがそのままだったりしてマズイ。その他、コメントト／ラックバックをいただいてますが、外出の予定がありますので、のちほど拝見＆応答します。
[追記]昨日のエントリーの修正はしました。[/追記]
このブログの更新は X（旧Twitter）アカウント @m_hiyama で通知されます。
Follow @m_hiyama
ご連絡は上記 X アカウントに DM にてお願いします。