:: (Monad m) => m a -> (a -> m b) -> m b package:prelude-compat

Sequentially compose two actions, passing any value produced by the first as an argument to the second.
Same as >>=, but with the arguments interchanged.