subcategories-0.2.1.1: Subcategories induced by class constraints

Index - -

-Control.Subcategory.RebindableSyntax
-<<Control.Subcategory.Bind, Control.Subcategory