1 - [ ] Error messages also based upon: [A Parsing Machine for Parsing Expression Grammars with Labeled Failures](https://dl.acm.org/doi/10.1145/2851613.2851750)
3 - [ ] Golden tests using more complex grammars.
5 - [ ] Error messages also based upon: [A Parsing Machine for Parsing Expression Grammars with Labeled Failures](https://dl.acm.org/doi/10.1145/2851613.2851750)
7 - [ ] Concerning the unusual `pure :: H.Term pure a -> repr a`,
8 it may be acceptable to use `H.Term` only internally.
10 - [ ] Move the `Symantic.Univariant.*` modules into a separate package, maybe `symantic-base`.
12 - [ ] Golden tests for TH splices as in `singleton`.
13 Note that the custom `Setup.hs` to get `ghcFlags` requires `cabal-install-3.4` which does not compile in Nixpkgs yet.
15 - [ ] Support parsing tree inputs (eg. RelaxNG in `symantic-xml` or HTTP routing in `symantic-http-server`).
17 - [ ] Consider introducing registers like in ParsleyHaskell.
18 The custom `Setup.hs` requires `cabal-install-3.4`
19 which does not compile in Nixpkgs yet.
21 - [ ] Study if the generated parser can easily and without much costs be made reentrant like `attoparsec`.
22 In which case it could maybe replace `attoparsec` in `pipes`.