úÎeÛ Safe-Inferred—semigroupoid with inverses. This technically should be a category with inverses, except we need to use Ob to define the valid objects for the category  Safe-Inferred     groupoids-3.0.1.1 Data.GroupoidData.IsomorphismGroupoidinvIsoembedproject$fGroupoidDual $fCategoryIso $fGroupoidIso$fSemigroupoidIso