GitHub repository: vectos/cats-tagless
Description: Library of utilities for tagless final encoded algebras