モノイド
結合則と単位元をもつ
モノイドはSegment木に乗る