implicit vector module