Re: The type of zip

[Marcin 'Qrczak' Kowalczyk]

Tue, 25 Jul 2000 09:02:36 +0200, Lennart Augustsson <[EMAIL PROTECTED]> pisze:

> > 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.

data a :, b = a :, !b

Now (x,y,z) is isomorphic to x:,y:,z:,()

-- 
 __("<  Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/            GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-