I remember seeing some mail on this topic, but I don't remember whether there was a consensus. Is Common Lisp supposed to support DEFUN inside LET? I know you can always write (SETF (SYMBOL-FUNCTION 'FOO) #'(LAMBDA ...)) to get much the same effect, but that's awkward.