A popular meme that's going around the Clojure community right now is that Clojure's types and protocols are "dynamic type classes". Clojure's offering does no

A popular meme that's going around the Clojure community right now is that Clojure's types and protocols are "dynamic type classes". Clojure's offering does not provide all of the same things that Haskell's type system gives -- like say, return type based method selection.