I personally think there's something to be said for making tail recursion explicit, as Clojure on the JVM requires, although the greater mess is not good, especially for introducing the concepts, and Clojure on the JVM can't do all types of desirable tail recursion.