OCaml Parser combinator library as powerful as fastparse(Scala)?

[yawaramin]

I think these are usually separate concerns. The parser constructs an AST, not caring about the data model, then a decoder transforms the well-formed AST into the required data (of course this can fail too).