Hi,

I think I now understand all the stuff about monades (not the mathematics). I have just one further question.

Beside of the syntactic sugar of the "do" construct and the fact that the IO monade is an "internal type of haskell": Is haskell aware of the concept of monades? As I now understand it, it is "just" a programming model rather than a concept of the language. If not, I have to start new.

It is only a concept of the language insofar as it is needed to do IO (because of the IO monad). You are correct that it is really more of a programming model.

Indeed, Haskell would be just fine if you took out IO, the class declaration of Monad, and its instances. And I have used monads in C# (but there is a bit less assurance since lambdas can have side effects).

About the prestress, that's one of the motivations behind renaming them ("warm fuzzy thing" is the current tongue-in-cheek alternative).

Luke