compositional-data (hackage): Modular data types defined as fixpoints, and term homomorphisms, like compdata package but with cleaner API
Keywords: bsd3|data|deprecated|library