Allow semigroups-0.15