<
OrderedOps
<=
OrderedOps
>
OrderedOps
>=
OrderedOps
>>>
KleisliOps