!==
RelationalOps
%
ArithmeticOps
&&
PropositionalOps
*
ArithmeticOps
**
ArithmeticOps
+
ArithmeticOps
PositionalOps
EmptyDomain
FiniteDiscreteDomain
-
ArithmeticOps
PositionalOps
EmptyDomain
FiniteDiscreteDomain
/
ArithmeticOps
/\
PropositionalOps
:=
DerivedValueOps
<
RelationalOps
<=
RelationalOps
<>
RelationalOps
<~
scalaz
===
RelationalOps
=?>
scalaz
>
RelationalOps
>=
RelationalOps
@==
RelationalOps
@>
scalaz
@?>
scalaz
@@
scalaz
\/
PropositionalOps
|-->
scalaz
|>=|
scalaz
||
PropositionalOps
~>
scalaz
~~>
scalaz
⊤
scalaz
⊥
scalaz