But as Haskellers we _are_ concerned about unsafePerformIO et al. -- this is why we have the SAFE pragma.