@hackage data-category0.0.2

Restricted categories

Data-category is a collection of categories, and some categorical constructions on them.