Parsing Expression Grammar Template Library
While I'm not quite sure how this might transfer to your approach, with your Haskell-inspired style being quite different from our C++ templates, in the PEGTL our equivalent to your Char, which is called one, is variadic (true to the T in PEGTL a variadic template) and takes a list of possible matches.
TIL: Visual Studio has quantum state values 🤨
1 project | reddit.com/r/cpp | 17 Mar 2022
We Built a C++ Rendering Engine for the Web
2 projects | news.ycombinator.com | 10 Jul 2021
Rust's Most Unrecognized Contributor
1 project | reddit.com/r/rust | 2 May 2021
A hand-written recursive descent parser for Lua 5.3, in Lua 5.3!
2 projects | reddit.com/r/lua | 6 Apr 2021
Yes, this is embarrassingly slow .so I solved your problem
1 project | news.ycombinator.com | 26 Mar 2022