Bind operator is in fact left-associative; order of operation is a consequence of the lambda notation.
Fix comment about right-associativity of bind operator.
Commit files from last post.