Thanks. Found a reference to the CircleCI code base:

http://www.ccs.neu.edu/home/samth/typed-clojure-draft.pdf

I wonder how their move away from clojure.typed has impacted code size.