An expression evaluator demonstrating monad transformer stacks.

A simple benchmark using the state monad, comparing against algo.monads and morph.