People confuse special-cases (Monad instances) with Monads (the abstraction). "Monads in C++" would be an encoding of the return/bind interface, which is possi

People confuse special-cases (Monad instances) with Monads (the abstraction). "Monads in C++" would be an encoding of the return/bind interface, which is possible (surprisingly, at least to me), and then writing a library of combinators that work with this interface and any instance of them. What this article (and countless others) are about is a particular encoding of bind/return for a single type, and not the Monad abstraction in general.