I feel like this part has little to do with TCO and TFA is overly focused on the recusion part of things. Even in the case of that example, there's still a function that directly returns the result of another function call. That's a tail call and can be optimized the same way it could if it were recusion optimized to reuse the current stack frame.