字节数组（byte string）数据结构具有持久，纯粹的接口

Question

我正在寻找一种存储字节的数据结构，允许恒定时间的纯索引，并提供一个纯粹的持久性接口来进行更新。基本上，我正在寻找Idris相当于Haskell（严格）bytestrings。

Data.ByteArray提供了一个可变的字节数组，只能从IO访问;它建立Data.Bytes之上，乍一看似乎很有希望;但是，它似乎没有索引操作，只有通过拆分和重新连接才能进行更新。