[wes-exp]

There is also ftype:

  (declaim (ftype (function (number string) number) add-string))
  (defun add-string (a b) ...)