Basic implementation of cross product using reduce.

cross-product.clj

(defn product [a & bs]
  "The cross product of sets."
  (reduce
   (fn [xss ys]
     (mapcat (fn [xs] (map (partial conj xs) ys)) xss))
   (map vector a)
   bs))