https://1library.org/document/q013r39z-a-combinator-based-certifiable-parsing-framework.html