data-category-0.10: Category theory

Index - ^

^^^Data.Category.CartesianClosed