Operations on a list (like map, filter) are not effectful computations. The problem with many monad explanations is they explain only particular monads. IO and

Operations on a list (like map, filter) are not effectful computations. The problem with many monad explanations is they explain only particular monads. IO and State can be thought of as effectful computations, but List operations cannot. Monads are just a pattern for composing computations, it doesn't say anything about the semantics of those computations.