Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
Free Foil: a Haskell library that combines free monads, data types à la carte, and intrinsic scoping to generate efficient, scope-safe abstract syntax — capture-avoiding substitution essentially for free.
Related paper: see publication.