Good observation - this happens on every thread mentioning monads. The issue is, monads is a pattern for function composition which can be used for various see

Good observation - this happens on every thread mentioning monads. The issue is, monads is a pattern for function composition which can be used for various seemingly unrelated things. But people see one instance of it and then generalize wrongly. E.g. lists and option-types are monads so some generalize them as “wrappers around types” - except this doesnt describe the IO monad at all. Or some see the IO and State monad and generalize monads as about managing side-effects - except this does not describe list or option types.