A Typed Template Haskell library for structured multi-stage programming, described in the following paper:
Partially static data as free extension of algebras
Jeremy Yallop, Tamara von Glehn and Ohad Kammar
ICFP 2018
See also: the MetaOCaml version of frex.