(>>=) :: 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 p

(>>=) :: 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.