:: (a -> Bool) -> ([a] -> Bool) package:numeric-prelude

Determines whether all elements of the structure satisfy the predicate.
Determines whether any element of the structure satisfies the predicate.