because f Y f.

f (Y f), surely ….

To quote the article:

> (I'm using a function notation without parentheses here, so factorial 3 is the same as what is usually written as factorial(3). Humor me.)

Sure, I am fine with that (else I would have proposed the abysmal `f(Y(f))`); but `f Y f` suffers from the ambiguity of `f (Y f)` versus `(f Y) f`, and, at least from my familiarity with Haskell, I automatically parse it as the latter (which I am guessing was not what proc0 intended).

I just thought it would be funny to quote the article there, I'm not too hung up on which representation is used.