Benedikt Ahrens, Ralph Matthes, Anders Mörtberg: Implementing a category-theoretic framework for typed abstract syntax. CPP 2022: 307-323