allow semigroups-0.11