Cleanは型一意性によって副作用の問題を克服しています。
一意性についてはココをみてください。
ttp://sky.zero.ad.jp/~zaa54437/programming/clean/CleanBook/part1/Chap4.html#sc16
なお、Haskellと同じくモナドも使えます。
ドッチが純粋かはわかりません。
たぶん同じぐらいじゃないっすかね？