True, but signatures help statically verify that side-effects can't happen at a call site, giving you reassurances that it's non-side-effecting. Same with refer

True, but signatures help statically verify that side-effects can't happen at a call site, giving you reassurances that it's non-side-effecting. Same with referential transparency, I believe.