:*:
Finite
:+:
Finite
^
shapeless
|¬|
shapeless
|∨|
shapeless
¬
shapeless
¬¬
shapeless
∀
shapeless
∃
shapeless
∧
shapeless
∨
shapeless