hashCode
NonEmpty