Added example file
Added Y-combinator to example