let true = \x y. x in let false = \x y. y in let and = \l r. l r false in ( (and true true yes no) (and true false yes no) (and false true yes no) (and false false yes no) ) do eta-reductions too