The idea: add static types to Clojure without compromising on the dynamism / flexibility / convenience