But it's not really an empty (using the first example) slice because I can have either an empty slice or a nil slice, right? So in Rust or Scala terms, every in

But it's not really an empty (using the first example) slice because I can have either an empty slice or a nil slice, right? So in Rust or Scala terms, every instance of a type is really an option of that type? It just seems like a totally unnecessary complication to me.