Monads in Haskell use the Kleisli triple definition which is equivalent to the two natural transformations and functor definition (with the appropriate laws) - see Algebraic Theories by Manes. When using the do notation you are effectively working in the Kleisli category generated by the monad. Dominic. edrx@inx.com.br on 10/03/2001 10:13:00 To: haskell cc: bcc: Dominic Steinitz Subject: Re: newbie Frank Atanassow wrote:

G Murali wrote (on 09-03-01 00:43 +0000):

...

I'm new to this monads stuff.. can you tell me what it is simply ? an example would be highly appreciated.. i want it is very very simple terms please..

A monad on category C is a monoid in the category of endofunctors on C.

Is that simple enough? ;)

No? Then see "Using Monads" at http://haskell.org/bookshelf/

(Sorry, I just couldn't resist!)

Uh-oh. I'm a junior categorist and toposopher and I confess that all my few attempts to understand what Haskell's monads have to do with the categorical notion of a monad have failed more or less miserably. Can someone point me to a relevant paper, or give a quick explanation? Thanks in advance, and sorry for the dumb question, Eduardo Ochs http://angg.twu.net/ edrx@inx.com.br _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell ------------------------------------------------------------------------------------------------- 21st century air travel http://www.britishairways.com