Monadic State Transformers incrementally implemented over a parser library.