data-category-0.11: Category theory

Index - -

->>Data.Category.Enriched.Limit