:: (a -> Bool) -> ([a] -> Bool) package:rio

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