(>>=) :: m a -> (a -> m b) -> m b

(>>) :: m a -> m b -> m b

There are two forms of bind.

The >> function is used when the function does not need the value produced by the first monadic operator.