Simple Type Inference in 21 Lines of Clojure | Heykuki News