Monadic interpreter
= Monadic interpreter
An <interpreter> whose evaluator returns computations in a <computational monad>. Its semantic equations specify effect order by sequencing, while <monad laws> support proofs of program equivalence independently of the particular effects.