Monads make you be more clear than you might otherwise. Saying what you mean just means that you're used to the semantic space of your "standard imperative". T

Monads make you be more clear than you might otherwise. Saying what you mean just means that you're used to the semantic space of your "standard imperative". This comes to play in parsers because a lot of their challenge is in properly piping around the recursive-backtracking state parts. Using monads you just create a semantic world where this recursive backtracking bit is built into the "nature" of state in your particular monad.