Adding unsafePerformIO to theoretically safe operations