@didibus yep, Andrew and I studied together at IU! we were both obsessed with set-theoretic types, he actually managed to do his phd on it

I just submitted a new Clojurists Together application for typed.clj/spec. It outlines a couple of ideas I have for future work. You can read it https://gist.github.com/frenchy64/073c99f0ecf50045222ac22afe763e8c.