:<:
scalaz
:≺:
scalaz
<~
scalaz
=?>
scalaz
@>
scalaz
@?>
scalaz
@@
scalaz
^
shapeless
|-->
scalaz
|>=|
scalaz
|¬|
shapeless
|∨|
shapeless
~>
scalaz
~~>
scalaz
¬
shapeless
¬¬
shapeless
∀
shapeless
∃
shapeless
∧
shapeless
∨
scalaz
shapeless
⊤
scalaz
⊥
scalaz