Found the y-combinator!

The y-combinator is fix. As seen in the sockets tutorial I rewrote.

The funny thing is that we use the y-combinator to loop a function indefinitely and, as it turns out, forever is the encouraged way to do this. fix is a little old-school.