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