Switched type equality to a function

Yo.

I hope this makes sense.

Let me know if it needs improvement.


I'd rather explain the “why” on the `identity` function itself. Here, we can simplify this to just say something like:

> For the `evidence` parameter, pass in the `identity` function. See the documentation for `identity` for more information.