Can we use foldl with bool values?

Someone tried to draw the analogy between “predicates” (functions returning boolean) in languages as C++ or Python and it went too far.

See also this post: Is the definition of "predicate" correct in the Glossary of Terms? - #13 by Boris