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