A standard library extension for OCaml, including a monadic parser library