Tail calls _are_ iteration, just expressed as a function.