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