:: (a -> Bool) -> ([a] -> Bool) package:percent-format