he recent discussion of whether storablevector should be deprecated in
favor of vector reminded me: vector supports storable arrays, but it
doesn't support lazy arrays. While storablevector has lazy arrays and
a builder, it doesn't support boxed types (it would be become misnamed
if it did!).
So it seems the niche of boxed lazy arrays is unfilled. And if vector
grew a lazy variant it could subsume storablevector and we could
consolidate array libraries a little more. It seems a lot of Writer
monad type stuff (logging etc.) could be made more efficient with a
boxed lazy array builder, at the cost of rougher grained laziness.
Does such a thing already exist? I'd check hackage, but it's down...