for many techniques and optimizations based on rewriting.

Typically, programmers will use to chain monadic functions into a sequence, which has led some to describe monads as "programmable semicolons", a reference to how many imperative languages use semicolons to separate statements.However, monads do not actually order computations; even in languages that use them as central features, simpler