in reply to Recursion
Fitting very nicely here: Dominus' talk about The Identity Function, especially the slides starting here.
-- Hofmator