It's great what you can do with first-class functions. But, without tail calls, simple uses of the Y combinator will run out of stack space.