With a small hack to SCI (Clojure interpreter) I was able to interpret #clojure abstractly as type expressions. This is the 15 minute prototype: