Always trust pure functions, they cannot lie

Always trust pure functions, they cannot lie. :)

I was going to add this to my free Thinking With Types booklet, but alas, it did not make the cut.