Using Y-combinator in example