Diagonal Arguments and Cartesian Closed Categories (pdf)