úÎ]Ó Safe-Infered—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-Infered     groupoids-3.0 Data.GroupoidData.IsomorphismGroupoidinvIsoembedproject$fGroupoidDual $fCategoryIso $fGroupoidIso$fSemigroupoidIso