Is there any reason Function types (like
(P1, P2, P3) -> R) need a bracket in the left side. It is conventient to write
P1, P2, P3 -> R and some languages prefer the latter style.
Because we use () for empty parentheses, and it is easy to think we need a bracket to include multiple arguments?