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:

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