On Applying to Y Combinator