Did you ever post the rendered Epigram 2 PDF anywhere? Currently trying to understand how you were doing type-directed distillation (see github.com/mietek/epigram) and it might be a little easier if the literate Haskell was rendered. It's not a big deal if not though!