One thing I don't get is its claim of being referentially transparent. How can this possibly be the case in the presence of exec commands that call shell script

One thing I don't get is its claim of being referentially transparent. How can this possibly be the case in the presence of exec commands that call shell scripts (which could do anything, potentially nondeterministically)? Or does the type system take this into account somehow?