You probably wouldn't ever want to not optimize, but the point is that, by being explicit, you know what parts are and which are not. If you think about it, yo

You probably wouldn't ever want to not optimize, but the point is that, by being explicit, you know what parts are and which are not. If you think about it, you can't really do the opposite, because it is not possible to TCO every recursive calls.