&gt; where it&#x27;s known to be safe and necessary<p>To give a valid, non-objectionable example: FFI that is known to be pure will often be wrapped with unsafePerformIO to present a clean interface to Haskell code.