GHCのコードを眺めると
Haskellって変に関数型っぽさを意識しなくても
元々の言語の力が強力だから
フリーダムに破壊的代入しまくっても結構大丈夫そうだな。

書き手の自主規制は
「unsafe○○を使わない」くらいで良さそう。