fix Semigroup instance for NotEmpty