Monads are pure expressions/patterns. It's only impure and have side effects in the final evaluation, for a few monads like the IO Monad. It's just using monadi

Monads are pure expressions/patterns. It's only impure and have side effects in the final evaluation, for a few monads like the IO Monad. It's just using monadic expressions for tricking side effects into the language in a cleaner way, thus considered beneficial. Haskell is hard for programmers, because it forces them to truly think. Haskell grows on you when you get to know how it evaluates and forces you to separate concerns structurally. For that reason, it's said to be a language that teaches you how to program better.