You see, the only purpose of overloaded `+` is "sh...

# language-proposals

[aimozg]

You see, the only purpose of overloaded + is "shortest way to call an extension function in a context"

[Ruckus]

aimozg: Indeed

[Ruckus]

(I thought we may want to move to a thread to avoid polluting the channel)

[aimozg]

yeah, just resend in channel most interesting parts

[aimozg]

Could just add @ as "unary operator with no default implementation" and ^ as "binary operator with no default implementation"

[aimozg]

(Though binary makes little use because of infix functions)

[Ruckus]

@ might conflict with annotations/labels, but I get your point