qc-2.clj

(defn qc [op & pairs]
  (assert (even? (count pairs)))
  (fn [coll]
    (doall
     (map (fn [[pred msg]]
            (when-not (pred coll)
              (throw (IllegalArgumentException. msg))))
          (partition 2 pairs))
     (apply op coll))))

(def f1 (qc +
            #(= 2 (count %)) "coll must have length 2."
            #(even? (first %)) "first elem must be even."
            #(odd? (second %)) "second elem must be odd."))

(def f2 (qc -))
(def f3 (qc /))