As ibotty said, I named the anonymous inner worker function `go`. From what I can tell, it seems to be pretty common in Haskell. As for `>>=` (also known as `b

As ibotty said, I named the anonymous inner worker function `go`. From what I can tell, it seems to be pretty common in Haskell. 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] If you want to learn more, check out LYAH [1]. [1]: http://learnyouahaskell.com/a-fistful-of-monads http://learnyouahaskell.com/a-fistful-of-monads