On the path to the y combinator