Except that Monads are compositional (and have reasoning properties) that "normal stateful programming" doesn't allow for.