Y>{ Y> return foldl(lambda(X,Y)[X %multiplies% if0[ fst[Y] %equal% snd[Y], 1, 0]], 1)(zip(l,foldl(lambda(X,Y)[cons[Y,X]], List<int>(), l))); Y>} Y>