(defun find-template-result-types (call template rtypes)
(declare (type combination call)
(type template template) (list rtypes))
(defun find-template-result-types (call template rtypes)
(declare (type combination call)
(type template template) (list rtypes))