[Haskell-cafe] Re: A free monad theorem?

[jerzy.karczmarczuk at info.unicaen.fr]

Tomasz Zielonka: 

> Programmers define the >>= method for their monads because they want to
> use it to bind computations. They know how to pass result(s) from
> one computation in their Monad to another, and they put this algorithm
> in the implementation of >>=. If they didn't care about passing results
> from one computation to the next one, they wouldn't be using monads in
> the first place.

Shrug.
If these programmers didn't care about passing results from one computation
to the next one, they wouldn't use functional programming at all.
Hm.
Would it still be "programming"?... 

Jerzy Karczmarczuk