main(x) = Pair(s,t) where (s,t) = unzip(x)
unzip(Cons(Pair(a,b),x)) = (Cons(a,s),Cons(b,t)) where (s,t) = unzip(x)
unzip(Nil) = (Nil,Nil)
