Use NonEmpty from semigroups