or xs = foldl (||) False xs   -- this is also in the Prelude