NonEmpty, NonEmptyExtractor