úα[—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  groupoids-0.1 Data.GroupoidData.Groupoid.IsomorphismGroupoidinvIsoembedproject