Lifted, heterogeneous equality. By lifted, we mean that it can be
bogus (deferred type error). By heterogeneous, the two types
a and
b might have different kinds. Because
~~ can appear unexpectedly in error messages to users who do
not care about the difference between heterogeneous equality
~~ and homogeneous equality
~, this is printed as
~ unless
-fprint-equality-relations is set.
In
0.7.0, the fixity was set to
infix 4 to match the
fixity of
:~~:.