Recur only handles a limited case of tail call elimination, not when the function calls another function on the tail position. Also you can implement TCE on the

Recur only handles a limited case of tail call elimination, not when the function calls another function on the tail position. Also you can implement TCE on the JVM Kawa Scheme does, just not efficiently. It is a limitation resulting from the design decision of Clojure.