It's still difficult for me to imagine a future where programs are organic instead of specific and dry machine instructions. I caught myself thinking of alternative solutions that doesn't require clojure.spec (e.g. why don't we make sure to never write candidate functions that isn't correctly "typed"? Then we can simply forget about checking the specs), but I think that defeats the spirit of this exercise - that tools like clojure.spec enables us to create more intelligent programs.