== -package:hedgehog -package:quaalude is:exact -package:base

A type family to compute Boolean equality.
An infix alias for Equals.
Equality relation. Defined in terms of <=.
Equality constraint, used as e.g. (x == 3) => _