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

Lift boolean or over predicates.
Extend a generic query by a type-specific case