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