モノイドに両端のインデックスを追加したものもモノイド

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

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