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

Lift boolean or over predicates.