Exporting NonEmpty type