The actual y combinator (for recursive anonymous functions) took me a while to understand, and I'm pretty sure that by now I've forgot how it works and would need to take a second look at it.

On the less functional side, Linux linked lists are super smart.