> Pure being the default would lead to most functions being written to be pure. More likely it would lead to most functions looking like they are pure, whether

> Pure being the default would lead to most functions being written to be pure. More likely it would lead to most functions looking like they are pure, whether they are actually pure or not. For example, any function written before the "impure" modifier was introduced would look pure.