Dynamic type specification in Common Lisp?

Question

I know that you can, at programming time, declare a type for variable arguments:

(defun foo (a b) (declare (type integer a b))

However; I\'d