It's a mathematical construct that has properties that can be formally proven, which has theoretical implications in programming language design and in software in general. From a practical perspective you can't do anything at all without monads in Haskell because IO is a monad.
spam lang_mismatch quality