Beginnings of a generic vector type.