This is in fact how Elm does it! Tail call recursion compiles to a while loop.