:: (a -> Bool) -> ([a] -> Bool) package:code-conjure