#Staging with #TypedTemplateHaskell is coming:
- /Staged selective #parser combinators/ The benchmarks showed that this approach is effective, outperforming the conventional parser combinator libraries in #Haskell and the parser generator #happy with full #optimisation. https://icfp20.sigplan.org/details/icfp-2020-papers/20/Staged-Selective-Parser-Combinators
Nice intro at #ICFP2020 https://www.youtube.com/watch?v=i9wgeX7e-nc&t=1679s

- /Staged sums of products/ We show how to finally make #generics-sop fast through the use of #staging with #Typed #TemplateHaskell. https://dl.acm.org/doi/10.1145/3406088.3409021