Switched type equality to a function

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

How about `evidence` instead of `ev`?