NonEmpty, NonEmptyExtracter