ToDo.md

   1 - [ ] Factorize input size checks (like Parsley's piggy bank).
   2
   3 - [ ] Golden tests using more complex grammars.
   4
   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)
   6
   7 - [ ] Consider introducing registers like in ParsleyHaskell.
   8
   9 - [ ] Concerning the unusual `pure :: H.Term pure a -> repr a`,
  10   it may be acceptable to use `H.Term` only internally.
  11
  12 - [ ] Move the `Symantic.Univariant.*` modules into a separate package, maybe `symantic-base`.
  13
  14 - [ ] `peehole` optimization