hashCode

NonEmptyVector

head

NonEmptyVector