lacks

NonEmptySet

last

NonEmptySet NonEmptyVector

length

NonEmptyVector