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

Determines whether no elements of the structure satisfy the predicate.
none f ≡ not . any f