I understand that the difference is that, while neither may change the state,
view may read the state and
pure may not. I also understand that it's useful to distinguish possibly state-changing functions from those guaranteed not to change the state.
My question is, why is it useful to indicate that a function won't even access state? Why doesn't