https://shenlanguage.org has static typing.

I’m not working with either so this is outside observation at this point, but my takeaway from both is that Clojure is more concerned with functional purity/isolating statefulness, and Racket is more focused on accommodating static types. There’s no reason those should be in conflict, but such is lisp, pick your compromise.

Edit to add: I have worked with Clojure in production, I haven’t for several years, and probably won’t again unless something weird happens in my life.

And maybe carp? https://github.com/carp-lang/Carp

Coalton [0] is an option too if you're more into the Common Lisp style of programming.

[0] https://coalton-lang.github.io/