^+ casts a value to the type of another expression, rather than a written-out type.

^+(7 42) is 42, typed like 7.