Monad bind() function and the >> operator