Whoops, I changed my example midway through and ended up with something screwy. The first case of the definition of zip above should of course read:

  zip (x:xs) (y:ys) = (x, y) : zip xs ys