>Now I think I can explain tail call optimization via an escalator analogy.

Circular, "Penrose Stairs" (https://en.wikipedia.org/wiki/Penrose_stairs) might be a better extension to the student's staircase model.