{-# htermination catch :: IO a -> (IOError -> IO a) -> IO a #-}