{-# htermination ioError :: IOError -> IO a #-}