Monads were not invented to support the needs of Haskell. The concept predates even the existence of microprocessors.

Haskell simply recognizes the applicability of that existing mathematical concept to an aspect (in fact various unrelated aspects) of programming. This isn't really a feature unique to Haskell.