You are right indeed regarding that there are cases where trail recursion does not work. But in this case I would say that the culprit is the laziness of f. I

You are right indeed regarding that there are cases where trail recursion does not work. But in this case I would say that the culprit is the laziness of f. I put mutual in between parentheses because not all languages support optimising mutually tail recursive functions.