==
(x: a) == (y: a) → Bool
Type constraints: Eq<a>
Eq<a>
Operator: precedence 4; associativity: none.
x
y