\a^b

In 6.4.1, I get following:
?-\a^b=..L.
L=[\,a^b].
?-\(a)^b=..L.
L=[^,\a,b].
As \ and ^ both have a precedence of 200, i want to know if there's any theory in the result? Because I have a tendency to think that the parentheses do not affect the association of terms outside them.
In fact this is preventing using lambda like this:
call(\(X:Y)^p(X,Y),x,y).
-------------- next part --------------
HTML attachment scrubbed and removed