subcategories-0.2.1.0: Subcategories induced by class constraints