Coder on the cross, By David Wadler :: Page 1