== -package:hedgehog -package:termonad package:partial-order

Equality relation. Defined in terms of <=.