Recursion Versus Tail Recursion Over Abstract Structures