((\if ((\else ((\: ((\nil ((\, 3) (Builtins (' ,)))) (Builtins (' nil)))) (Builtins (' :)))) (Builtins (' else)))) (Builtins (' if)))