@hackage compositional-data0.1.0.1

Compositional Data Types

Modular data types defined as fixpoints, and term homomorphisms, like compdata package but with cleaner API