La solución más simple resulta de fijar ifthenelse como λb.λx.λy.