I don't know how to be any more clear. Monads are not an example, that is the point. It is like saying in python "Given that all user input/state already has

I don't know how to be any more clear. Monads are not an example, that is the point. It is like saying in python "Given that all user input/state already has to be handled carefully (for ex: with dictionaries)." It is nonsense.