bump upper bound to allow semigroups-0.9