``Computer science''

Why do they call it computer science?
It's not about computers and it's not a science.

>>39

Monads are a formal way of describing a context

No, they're burritos, you idiot!
Ultimately, monads are just types of a certain class that satisfy certain laws. You cannot make this definition any more specific without cock-blocking some monads. If you think that monads are "a formal way of describing a context", then you're precluding yourself from thinking about a certain subset of monads as monads. Which is just stupid and wrong.