Switched type equality to a function

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

:+1: to the general thrust of this explanation, but since `identity` has more general utility, a (brief) consideration of that would be good too. `The identity function, which returns its argument. This can…`