simplify Y combinator's examples