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