NonEmpty, NonEmptyExtractor
wip 23