Cだったら副作用のある関数を「書こうと思えば書けてしまう」けど，
Haskellだったらそんなものはそもそもコンパイルが通らない（から安全）
って話じゃないの？