{-# htermination (>>) :: IO a -> IO b -> IO b #-}