added Y combinator examples