Re: [Haskell-beginners] Monad and bind operator interpretation

On 14/12/2015, Raja wrote:

So extending this interpretation - can I swap the two parameters (?)

Now my new hypothetical interpretation becomes:

(>>=) :: (a -> m b) -> m a -> m b

Sure, bind' :: Monad m => (a -> m b) -> m a -> m b bind' = flip (>>=)

If i further add parens:

(>>=) :: (a -> m b) -> (m a -> m b)

Yeah, that's exactly the same thing. Types are right associative.