> data[i] = (l, r, value)

> (l1,r1,v1) op (l2,r2,v2) = (l1,r2,v1*v2)

> のようにして、モノイドに両端のインデックスを追加したものもモノイドになってくれたりします。