Don Wrote: > > Pure functions calling weakly pure functions are also weakly pure and so on. This effectively leaves you without purity. > > I presume you mean "Pure functions calling weakly pure functions *would > also be* weakly pure and so on." ? What's the difference?