^
shapeless
|+|
MonoidSyntax
|¬|
shapeless
|∨|
shapeless
¬
shapeless
¬¬
shapeless
∀
shapeless
∃
shapeless
∧
shapeless
∨
shapeless