allow semigroupoids-4.2