   :type '(choice
 	  (function-item :tag "Use flycheck" th--get-type-hole-info-flycheck)
 	  (function :tag "Custom function")))
-
-(defcustom th-insert-argument-holes nil
-  "If t, insert holes for the arguments of the binding inserted."
-  :group 'haskell-type-holes
-  :type 'boolean)
 
 (defcustom th-display-type-after-hole-insertion t
   "If t, use `message' to display the inserted binding with type."

  (end-of-line)
  (newline 2))

(defun th-resolve-hole-via-hoogle (str)
  (let ((hole-type (th--get-hole-type str)))
    (funcall completing-read-function "What to insert: " (th-hoogle-search hole-type))))

(defun th-resolve-hole-via-hoogle-here ()
  (interactive)
  (th--replace-type-hole
   (th--hoogle-extract-name
    (th-resolve-hole-via-hoogle
     (funcall th-get-type-hole-info-function)))))

(defun th--hoogle-extract-name (str)


(defun th--create-arg-holes (fn-type)
  (s-join " " (-repeat (th--num-of-args fn-type) "_")))

(defun th--binding-extract-name (binding)
  (replace-regexp-in-string " :: .*" "" binding))
