Haskellに副作用がないなら、C言語にも副作用はないといえるのでは？
C言語を、ソースコードと実行ファイルを結び付ける関数とすれば、そこには副作用はない。