Removed obsolete warning about `unsafeIOToStm`