               opts
               (expected-str type spec-name val path problems opts)))
 
-(defmethod expected-str :problem/extra-input [_type spec-name val path problems opts]
+(defmethod expected-str :expound.problem/extra-input [_type spec-name val path problems opts]
   (s/assert ::singleton problems)
   "has extra input")
 
-(defmethod problem-group-str :problem/extra-input [type spec-name val path problems opts]
+(defmethod problem-group-str :expound.problem/extra-input [type spec-name val path problems opts]
   (format-err "Syntax error"
               type
               spec-name

     (printer/indent (ansi/color (pr-str (:val problem)) :bad-value))
     (printer/indent (ansi/color (pr-pred (:pred problem) (:spec problem)) :good-pred)))))

(defmethod problem-group-str :problem/fspec-fn-failure [type spec-name val path problems opts]
  (s/assert ::singleton problems)
  (format-err
   "Function spec failed"

     [problem]
     opts)))

(defmethod expected-str :expound.problem/alt-group [type spec-name val path problems opts]
  (let [subproblems (:problems (first problems))]
    (string/join
     "\n\nor value\n\n"
