(declaim (ftype (function () t) bar))
(defun foo () (bar))
ってこと?