lacks
NonEmptySet
last
NonEmptySet
NonEmptyVector
length
NonEmptyVector