Allow semigroups-0.12