<div dir="auto">The vector package offers<div dir="auto"><br></div><div dir="auto">createT :: Traversable t</div><div dir="auto">  => (forall s. ST s (t (MVector s a)))</div><div dir="auto">  -> t (Vector a)</div><div dir="auto"><br></div><div dir="auto">This is a generalization of create, which is very similar to runSTArray in the array package. I suggest we add functions</div><div dir="auto"><br></div><div dir="auto">runSTArrays :: Traversable t</div><div dir="auto">  => (forall s. ST s (t (STArray s i e)))</div><div dir="auto">  -> t (Array i e)</div><div dir="auto"><br></div><div dir="auto"><div dir="auto" style="font-family:sans-serif">runSTUArrays :: Traversable t</div><div dir="auto" style="font-family:sans-serif">  => (forall s. ST s (t (STUArray s i e)))</div><div dir="auto" style="font-family:sans-serif">  -> t (UArray i e)</div><div dir="auto" style="font-family:sans-serif"><br></div><div dir="auto" style="font-family:sans-serif">Why do I think it's worth the trouble? While it's occasionally useful to create multiple arrays of the same type in one go, I think the Maybe and (a,) Traversable instances, and their compositions, are likely more important. I can use (a,) to record some extra information while building an array. I can use Maybe to give up and not produce an array. And the compositions let me do both in different ways.</div></div></div>