Nuke semigroups requirement until we need NEL