whole
NonEmptySet
NonEmptyVector