We could use a function `rotate(v: Vector, angle: float) -> Vector` that returns a new `Vector` representing the original `Vector` rotated by `angle`.