     (map? m) {:a f}))
 
 (def gen-coll-ints
-  "Generates a collection of ints for testing"
+  "Generates vector of collections of ints for testing"
   (gen/one-of
     [(gen/vector (gen/map (gen/return :a) gen/int {:min-elements 1}) 1 5)
      (gen/vector (gen/vector gen/int 1) 1 5)

    [{:a #{18} :b {:c {:d [28]}}}]
    [{:a #{*} :b {:c {:d [*]}}}]
    [{:a #{1 2}}] [{:a #{3} :b {:c {:d [4 5]}}}] [{:a #{6} :b {:c {:d [7]}}}]))

        (is (= out expected)
          (format "deepfapply homomorphism not equal: op - %s, args - %s" f args))))))

;; TODO: get some coverage for variadic interchange
;; test for interchange (4)
(defspec deepfapply-interchange
  (prop/for-all [args gen-coll-ints]
