Note that you should be *extremely* careful of saying something is pure when it is not typechecked by the compiler.
I can only second that – especially because depending on what the signature of the function is, the compiler might optimize out calls to them.
David
