def test_map_2(xs, z): def adder(x): def f(y): return x + y return f return list_map_prim(adder(z), xs)
def test_list_map_prim2(xs, ys): def mulm(x, y): return x * -y return list_map_prim(mulm, xs, ys)
def test_list_map_prim(xs, ys): def square(x): return x * x return list_map_prim(square, xs), list_map_prim(square, ys)