data-category-0.7: Category theory

Index - ^

^^^Data.Category.CartesianClosed