It is indeed wrong. For example, the Maybe monad has no state. It sequences operations that can fail. The Error monad aborts the computation and returns an err

It is indeed wrong. For example, the Maybe monad has no state. It sequences operations that can fail. The Error monad aborts the computation and returns an error. Similarly, Min, Max, Product, Sum, Dual don't have an state.