It's the operator that allows to chain two statements together. It's written ";" in Pascal, and is often implicit in other languages. When a language explicitl

It's the operator that allows to chain two statements together. It's written ";" in Pascal, and is often implicit in other languages. When a language explicitly talks about monads, it's because it lets you overload that operator, i.e. it let's you give alternative definitions of what it means to chain statements together.