Not at all. A monad is just a type constructor and two functions respecting some rules. It can be widely different from the State monad ranging from useful (O

Not at all. A monad is just a type constructor and two functions respecting some rules. It can be widely different from the State monad ranging from useful (Option) to completely weird (the naive list monad) to doing nothing (identity monad).