[ivanjermakov]

Misunderstanding of Monads is such an interesting phenomenon. Kind of similar to grasping 4D geometry or understanding the difference between a class and an object in OOP.

List can be an instance of a monad, i.e. a monadic type.

I think the trick to understanding monads is to see what benefits monad interface gives to the types that implement it.