y combinator example added