data-category-0.4: Restricted categories

Index - %

%Data.Category.Functor