data-category-0.4: Restricted categories

Index - ^

^^^Data.Category.CartesianClosed