yes = case concatMap f x of [] -> []