Hello oleg, Saturday, October 21, 2006, 12:58:58 PM, you wrote: > something of the type t1 -> t2 -> t3 where > t3 = f(t1, t2). Generalization of zip/zipWith. I have never > seen that example. how about generic zip? gzipWith :: (a->b->c) -> C a -> C b -> C c -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com