Yes. This is one of those implementation vs. semantics things. You could say that a procedure definition also mutates a data structure (the current module, in Guile), but we wouldn't consider this a side-effect or otherwise "impure".