and xs = foldl (&&) True xs -- so is this