付加する値は「ログ」に限定しなくてもよくなりました。モノイド値であれば何でもよいです。例では「注文」に「注文の合計金額」を付加しています。モナドは、モノイド値が付加された文脈付き値を表します。付加されたモナドです。モノイド値を結合する。本の記載とは異なります。本には「開発者は内部実装を変える権利を保持しておきたいそうで」とありますが、実際に内部実装が変わっているようです。付加されるモノイド値を意味する)。