+
(x: a) + (y: a) → a
Type constraints: Num<a>
Num<a>
Operator: precedence 6; associativity: left.
x
y