Monads have been called "executable semicolons", because you can define a function to be executed each time the program passes from one statement to the next.