*>
CartesianOps
<
PartialOrderOps
<*
CartesianOps
<=
PartialOrderOps
<~
cats
=!=
EqOps
===
Const
Ior
OneAnd
Validated
Xor
XorT
EqOps
>
PartialOrderOps
>=
PartialOrderOps
>>
FlatMapOps
>>=
FlatMapOps
|+|
SemigroupOps
|-|
GroupOps
|@|
CartesianOps
~>
cats
⊤
cats
⊥
cats