No, they just want some static tooling on top of a dynamic language.

We use Typed Clojure where I work. To say it's because we "don't want to write Clojure by hand anymore" would be nonsense.

Reading your comments in this thread, I think you'll find out one day that people just have different appetites for different trade-offs and that's really all there is to it. No need to wheedle, condescend, or link Paul Graham essays.