[subleq]

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

[Jtsummers]

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).

[solomonb]

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