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