Grokking the Y-combinator
medium.com