I'll add it. Does VectorSpace give you a default negate by scaling by -1 in F?