False positive "redundant parentheses" error

[valis]

\class Ring (E : \Set)
  | \infixl 6 + : E -> E -> E
  | \infixl 7 * : E -> E -> E

\func test {R : Ring} (x y z : R) (p : (x R.+ y) * z = x)
  => p

It works if R.+ is replaced with +.