main(x,y) = zip(x,y)

zip(Nil,      y  )       = Nil
zip(Cons(a,x),Nil)       = Nil
zip(Cons(a,x),Cons(b,y)) = Cons(Pair(a,b),zip(x,y))
