:: (Monad m) => m a -> (a -> m b) -> m b package:universum

(>>=) :: Monad m => m a -> (a -> m b) -> m b
universum Universum.Monad.Reexport
Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression 
do a <- as
bs a
concatForM :: (Applicative f, Monoid m, Container (l m), Element (l m) ~ m, Traversable l) => l a -> (a -> f m) -> f m
universum Universum.Monad.Container
Like concatMapM, but has its arguments flipped, so can be used instead of the common fmap concat $ forM pattern.
(=<<) :: Monad m => (a -> m b) -> m a -> m b
universum Universum.Monad.Reexport
Same as >>=, but with the arguments interchanged.