I think you misunderstood me. I&#x27;m not saying it is common to use unsafe functions in Haskell for &#x27;bad things&#x27;. All I&#x27;m saying is that due to existence unsafe functions it is possible to lie about your real side effects and memory safety. Which considering that op article was about <i>guarantees</i> seems to be critical issue.<p>If I give you <i>only</i> the signature of function, You can&#x27;t be sure what exactly it&#x27;s doing, just like in C - <a href="http:&#x2F;&#x2F;lpaste.net&#x2F;5209148331879563264" rel="nofollow">http:&#x2F;&#x2F;lpaste.net&#x2F;5209148331879563264</a>