"Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant