dph-prim-seq: use ArrayArray for Vectors