Strong static typing and Lisp are not mutually exclusive.

  * Strong Static Type Checking for Functional Common Lisp
    http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.6958
  * Qi/Shen http://en.wikipedia.org/wiki/Qi_(programming_language)
  * Typed Racket

I think what is at issue is that Lispers aren't willing to have static-typing completely baked in. Haskell's various type system extensions show that people are still working hard to figure out how to get the expressive benefits of generic programming in a strongly typed language.

Personally, I'm particularly interested in supporting a la carte type systems for Clojure and have started work towards that end.