   (when (= (quick-peek-hide) 0)
     (fstar-subp--query (fstar-subp--positional-lookup-query (point)
                     '(type documentation))
-                  (fstar-subp--lookup-wrapper
-                   #'fstar--quick-peek-continuation (point)))))
+                  (fstar-subp--lookup-wrapper (point)
+                    #'fstar--quick-peek-continuation))))
 
 ;;; ;; ;; Company
 

    (setq id (fstar--read-string "Show definition of%s: " (fstar--fqn-at-point))))
  (fstar-subp--query (fstar-subp--positionless-lookup-query id
                  '(type defined-at documentation definition))
                (fstar-subp--lookup-wrapper
                 #'fstar--doc-at-point-continuation (point))))

;;; ;; ;; Insert a match


        (funcall continuation response)
      (funcall continuation nil))))

(defun fstar-subp--lookup-wrapper (pos continuation)
  "Handle the results of a lookup query at POS.
If response is valid, forward results to CONTINUATION.  With nil POS, this
function can also handle results of position-less lookup queries."
  (declare (indent 1))
  (fstar-subp--pos-check-wrapper pos
    (lambda (response)
      (-if-let* ((info (and response (if (fstar--has-feature 'json-subp)
