Note about Y combinator implementation