>> package:control-monad-free

(>>) :: Monad m => m a -> m b -> m b
control-monad-free Control.Monad.Free
Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in imperative languages.
(>>=) :: Monad m => m a -> a -> m b -> m b
control-monad-free Control.Monad.Free
Sequentially compose two actions, passing any value produced by the first as an argument to the second.