hmm, we only have the less precise value typing for the clojure