~~> \yy.(\fy.ff)(\fy.ff)
~~> \yyy.(\fy.ff)(\fy.ff)
-It appears that where `K` is a function that ignores (only) the first
+It appears that where `K` is a function that ignores (only) the second
argument you feed to it, the fixed point of `K` ignores an endless,
infinite series of arguments. It's a write-only memory, a black hole.