A simple implementation of the Result monad from OCaml

Nice messages for grammars and regexes