使用clojure规范检查cons上的类型一致性?

如果我和借书人一起经营图书馆:

(s/def ::brs (s/coll-of ::br/borrower))
(s/def ::bks (s/coll-of ::bk/book))

我想要一个将一个项添加到集合中的通用函数:

(defn add-item [x xs]
  (if (some #{x} xs)
    xs
    (cons x xs)))

如何编写一个规范来确保我不能向借款人添加图书,反之亦然?

因为这个规范:

(s/fdef add-item
    :args (s/fspec :args (s/or :is-brs (s/and (s/cat :x ::br/borrower) (s/cat :xs ::brs))
                               :is-bks (s/and (s/cat :x ::bk/book) (s/cat :xs ::bks))))
    :ret (s/or :ret-brs ::brs
               :ret-bks ::bks))

不工作。:

谢谢你的帮助!