I've got an upcoming talk at EuroClojure on the subject:

http://euroclojure.org/speakers#mreitzenstein

Taking advantage of immutability and using clojure.spec generators at the top level, it specializes/simplifies the code using really simple transformations.

Demo of the specialization here:

http://reitzenwebserv.s3.amazonaws.com/opt/index.html