His first example is an applicative: parallel lines of evaluation into a result.

His second example I believe is the Either monad, if he takes ';' to be a sequencing operation.

His quad example is a monad with a syntax for defining an instance.

And so on...