Is there any reason to keep both `setf` and `setv`? Isn't this redundant?