diff --git a/shop3/looping-tasks/conditional-extensions.lisp b/shop3/looping-tasks/conditional-extensions.lisp
index 007ed680..bfb8ef06 100644
--- a/shop3/looping-tasks/conditional-extensions.lisp
+++ b/shop3/looping-tasks/conditional-extensions.lisp
@@ -15,9 +15,10 @@
     ))
    )
 
-(declaim (ftype (function (&rest arglist &key :top-tasks :tasks :unifier)
-                          (values conditional-state-expand &optional)
-                          make-conditional-state-expand))
+(declaim (ftype (function (&rest t
+                           &key (:top-tasks t) (:tasks t) (:unifier t))
+                          (values conditional-state-expand &optional))
+                make-conditional-state-expand))
 (defun make-conditional-state-expand (&rest arglist
                                       &key top-tasks tasks unifier)
   (declare (ignorable top-tasks