Excerpts from Daniel Peebles's message of Tue Jan 26 23:25:28 -0500 2010: > There are actually only two (extensionally) possible total functions with > that type, as far as I can see :) Is the other one... const? Cheers, Edward