{def TRUE {lambda {:a :b} :a}} -> TRUE {def FALSE {lambda {:a :b} :b}} -> FALSE {def IF {lambda {:c :a :b} {:c :a :b}}} -> IF {IF TRUE yes no} -> yes {IF FALSE yes no} -> no