Thanks! Yeah I think a traditional type system wouldn't make sense for Clojure, you need something that can describe data structures more succinctly, which is what we were shooting for
eg. Heterogeneous keyword maps https://github.com/frenchy64/core.typed-example/blob/master/...