NonEmpty, NonEmptyExtracter
wip 23