A proof of concept for Clojure static typing