Hacker News Reader

That's not a computable function. Function equality (x==K) is undecidable.

And that's covered in the last chapter of To Mock a Mockingbird (this submission prompted me to pull it off the shelf this morning).

Just postulate function extensionality and move on with life. :D