https://clojure.github.io/test.check/0.9.0/clojure.test.check.clojure-test.html many of these dynamic vars would be handy. As would resolving https://github.com/nubank/matcher-combinators/issues/195 be useful, too.