           (printer/indent (str (s/form (:args (:spec check-result)))))
           "\n"))
 
-              ;; TODO - implement
        (= :no-args-spec failure-reason)
        (str
         "Failed to check function.\n\n"

                                    {})]

      (cond
        (or (explain-data? explain-data)
            (nil? explain-data))
        (print-explain-data opts' explain-data)

        (check-result? explain-data)
        (print-check-result explain-data)

        :else
        (str "Unknown data:\n\n" explain-data)))))

;;(s/def ::foo string?)


         (ansi/color (count problems) :footer)
         (ansi/color (if (= 1 (count problems)) "error" "errors") :footer)))))))

(defn minimal-fspec [form]
  (let [fspec-sp (s/cat
                  :sym qualified-symbol?
