Re: The type of zip

[Lennart Augustsson]

> If you are happy with the isomorphism
>
>     (T1 x T2 x ...) <-> (T1 x (T2 x (...)))

But in Haskell these are not isomorphic.
(a,b,c) is NOT isomorphic to (a,(b,c)), just think about bottom.

--

        -- Lennart