[Haskell-cafe] Re: Type of (>>= f) where f :: a -> m b

David Menendez writes:

It's because >>= is a binary operator. When you partially apply a binary operator, you get a "section" which applies one of the two arguments.

Understood :-)! Thanks for the responses -- both of them. Milind Patil