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