choener: > > To summarise: I need arrays that allow in-place updates. Many of the array libraries provide both mutable and immutable interfaces, typically in ST or IO, including vector.