:: (a -> Bool) -> (a -> Bool) -> (a -> Bool) -package:foldl -is:exact -package:leancheck package:HaXml

Lift boolean or over predicates.