Data.Vector.Generic.New
data New v a