use Foldable instance in NonEmpty