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

[Milind Patil]

David Menendez <dave <at> zednenem.com> 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