Sort of. It is more like every function in OCaml is in IO. There is just no purity guarantee anywhere.