boolean-like

Logical combinatory operations dealing with datatypes representing booleans by their constructors.

Boolean-like logical combinatory operations under typeclasses Andlike, Orlike, and Xorlike and a typeclass Falsifier for datatypes with unary false-like values (e.g. Nothing, []).