Haskell 是否已经存在序列的聚合版本？

假设我们有一个幺半群元素序列，

数据。序列

非常适合在某些位置插入、更改元素

我关心下面的查询，

sum I j sequence

，它返回从位置

I

到

j

的所有元素的

mconcat

。这可以通过使用

FingerTree

来完成，测量值同时包含索引和

mconcat

结果，以O（logn）时间表示

在某些Haskell库中是否已经实现了这一点？或者我必须用

Data.FingerTree

再次使用此功能实现

Data.Sequence

？（

Sequence

暴露的内部结构太少，无法有效执行此操作。）

请参阅。