     (define-key map (kbd "C-c C-k C-b") 'th-resolve-hole-relevant-bindings-here)
     (define-key map (kbd "C-c C-k C-f") 'th-resolve-hole-new-function-here)
     (define-key map (kbd "C-c C-k C-t") 'th-toggle-type-hole-undefined-line)
-    (define-key map (kbd "C-c C-k TAB") 'th-resolve-hole-prompt)
+    (define-key map (kbd "C-c C-k TAB") 'th-resolve-hole-prompt-here)
     map))
 
 (defun th--get-type-hole-info-flycheck ()

  (interactive)
  (th-insert-relevant-binding (funcall th-get-type-hole-info-function)))

(defun th-resolve-hole-new-function(str &optional add-parens add-arg-holes)
  (let* ((fn-name (read-string "Name for new function: "))
         (fn-with-type (concat fn-name
                               " :: "
                               (th--get-hole-type str)
                               "\n"
                               fn-name
                               " = _")))
    (th--replace-type-hole-dwim fn-with-type str)
    (funcall th-new-function-from-hole-position)
    (insert fn-with-type)
    (backward-char 1)

      (newline 1)
      (delete-blank-lines))))

(defun th-resolve-hole-new-function-here ()
  (interactive)
  (th-resolve-hole-new-function (funcall th-get-type-hole-info-function)))

(defun th-resolve-hole-prompt-here (str)
  (interactive "sEnter replacement for hole: ")
  (th--replace-type-hole-dwim str (th--get-hole-type
                                   (funcall th-get-type-hole-info-function))))

(defun th-relevant-hole-bindings (str)
  (with-temp-buffer
