== is:exact

A type family to compute Boolean equality.
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) => _