yes = case concat (map f x) of [] -> []