モナドの定義を見直す。可換図式の証明を追加する。