úΓNone—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 None     groupoids-3.0.1 Data.GroupoidData.IsomorphismGroupoidinvIsoembedproject$fGroupoidDual $fCategoryIso $fGroupoidIso$fSemigroupoidIso