A brief introduction to Y-combinator in Python