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

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
Same as >>=, but with the arguments interchanged.