As for `>>=` (also known as `bind`), I'm using it as a more generic version of `concatMap`. The following expressions are basically the same:

    concat (map (\ x -> [x, -x]) [1, 2, 3])
    concatMap (\ x -> [x, -x]) [1, 2, 3]
    [1, 2, 3] >>= \ x -> [x, -x]

[1]: http://learnyouahaskell.com/a-fistful-of-monads

do x <- foo; y <- bar; baz x y

foo >>= \x -> bar >>= \y -> baz x y