start testing
remove Semigroup constraint from NonEmpty semigroup instance; fix bug in pop