The vector package offers

createT :: Traversable t

=> (forall s. ST s (t (MVector s a)))

-> t (Vector a)

This is a generalization of create, which is very similar to runSTArray in the array package. I suggest we add functions

runSTArrays :: Traversable t

=> (forall s. ST s (t (STArray s i e)))

-> t (Array i e)

runSTUArrays :: Traversable t

=> (forall s. ST s (t (STUArray s i e)))

-> t (UArray i e)

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.