Redundant parentheses in implicit arguments

[valis]

In the following code, parentheses are redundant:

\func bar {x : \Sigma Nat Nat} => x.1
\func foo => bar {(1,2)}