Well, the meaning of >>= is impossible to grok in this context because the meaning of "bind" isn't clear. In fact, most of the Monad interface (bind, lift, etc.

Well, the meaning of >>= is impossible to grok in this context because the meaning of "bind" isn't clear. In fact, most of the Monad interface (bind, lift, etc.) is pretty unclear to most people because, I think, it doesn't map onto other languages' concepts. In fact, I might say that the worst possible way to explain Monads to someone unfamiliar with the subject is to use Haskell's monadic syntax.