Parenthesized expressions

Any expression can appear in parentheses, and an expression(e)is the same as the expressione.Parentheses can be used to delimit where an expression begins and ends. For example(f : P -> Q) yis an application of the functionfof typeP -> Qto the argumenty.The parentheses are needed to tell Unison thatyis an argument tof,not a part of the type annotation expression.