Comment by nightwolf

clojure.spec is explicitly not a type system:

https://clojure.org/about/spec#_expressivity_proof