Understanding, at last, the Y combinator · HackerTrans