Library of utilities for tagless final encoded algebras - View it on GitHub