data-category-0.11: Category theory

Index - ^

^^^Data.Category.CartesianClosed