   :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."


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

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

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

  nil
  " ‘_’"
  (let ((map (make-sparse-keymap)))
    (define-key map (kbd "C-c C-k C-h") 'th-resolve-hole-hoogle-here)
    (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)
    map))

