モノイドは大雑把に言えば交換則のある演算(+とか×とか)を定義できる変数の型です。
あとあとくっつけて処理するのに都合がいいです