(<>)本題Haskellerの中には、「設定はMonoidであるべき」宗派が存在する。つないで設定データを構築することになる。この記事では、SemigroupをMonoidに昇格させるのはいつかという話題を扱うので、まずSemigroupである設定データから始めよう。僕が最近秀逸だと思っているフラグを例として挙げる。(FlagReset)これを実装するのは簡単だろう。右が勝つことに決めれば、以下のようになる。デフォルトの値を使用するという関数を書くことになるだろう。