bump upper bound to allow semigroupoids-3.1