Expose init, as already defined in Data.Vector.Sized.