 Parentheses will be omitted whenever possible, with the convention that they associate to the right, so that a type \(\sigma_1 \to \cdots \sigma_n \to \tau\) is equivalent to \((\sigma_1 \to (\sigma_2 \to (\cdots (\sigma_n \to \tau)\cdots)))\)