(where if-black and if-white are anything), and get back one of if-black or
if-white, depending on which of the black-or-white values we started with. Give
a definition for each of "black" and "white". (Do it in both lambda calculus
(where if-black and if-white are anything), and get back one of if-black or
if-white, depending on which of the black-or-white values we started with. Give
a definition for each of "black" and "white". (Do it in both lambda calculus