On Mon, Jan 12, 2009 at 8:33 PM, Felipe Lessa <felipe.lessa@gmail.com> wrote:

z1' = let f = (let y1 = e1 1; y2 = e2 2 in (\x -> op2 y2 y1 x)) in (f 3, f 4)

oooh! sweet! I didn't think of that. many thanks