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