読み終えた。
Y combinator の説明は展開が複雑すぎ。。