+ ifxl 6 = code add;
on f g a b = f (g a) (g b);
+onn = \f. \g. \a. \b. f (g a) (g b);
//Conditional operators
if = code if;
even i = if (i == 0) True (odd (i - 1));
odd i = if (i == 0) False (even (i - 1));
-start = on;
+//start = on;
+start = \f. \g. \a. \b. f (g a) (g b);