Added Y combinator, as additional example