I think the reason tail recursion was not talked about is that it is different in Haskell, because of the laziness. You have to worry about unevaluated thunks

I think the reason tail recursion was not talked about is that it is different in Haskell, because of the laziness. You have to worry about unevaluated thunks building up more than stack space.