+
(x: a) + (y: a) → a
Type constraints: Num<a>
Num<a>
Operator: precedence 6; associativity: left.
Returns the sum of x and y.
2 + 3
-, *